Material to categorize
- Who's Afraid of Mathematical Diagrams?Silvia De Toffoli - forthcoming - Philosophers' Imprint.details
- Reconciling Rigor and Intuition.Silvia De Toffoli - 2021 - Erkenntnis 86 (6):1783-1802.details
- The Experiments, as the Irreducible Basis of All Science, and the Observer, as the Probability Space of All Experiments, Are Found Sufficient to Entail All Physics.Alexandre Harvey Tremblay - manuscriptdetails
- Neues System der philosophischen Wissenschaften im Grundriss. Band II: Mathematik und Naturwissenschaft.Dirk Hartmann - 2021 - Paderborn: Mentis.details
- Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
- Poincaré and Prawitz on Mathematical Induction.Yacin Hamami - 2015 - In Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014. London: College Publications. pp. 149-164.details
- A Note on Wittgenstein’s “Notorious Paragraph” About the Gödel Theorem.Juliet Floyd & Hilary Putnam - 2000 - Journal of Philosophy 97 (11):624-632.details
- Institutionism, Pluralism, and Cognitive Command.Stewart Shapiro & William W. Taschek - 1996 - Journal of Philosophy 93 (2):74.details
- Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
- Proof, Rigour and Informality : A Virtue Account of Mathematical Knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.details
- C.K. Raju. Cultural Foundations of Mathematics: The Nature of Mathematical Proof and the Transmission of the Calculus From India to Europe in the 16th C. CE.: Critical Studies/Book Reviews. [REVIEW]José FerreiróS. - 2009 - Philosophia Mathematica 17 (3):378-381.details
- Francesco Berto. There's Something About Gödel. Malden, Mass., and Oxford: Wiley-Blackwell, 2009. ISBN 978-1-4051-9766-3 ; 978-1-4051-9767-0 . Pp. Xx &Plus; 233. English Translation of Tutti Pazzi Per Gödel! : Critical Studies/Book Reviews. [REVIEW]Vann Mcgee - 2011 - Philosophia Mathematica 19 (3):367-369.details
- Some Recent Developments in Complete Strategies for Theorem-Proving by Computer.Bernard Meltzer - 1968 - Mathematical Logic Quarterly 14 (25-29):377-382.details
- Pi on Earth, or Mathematics in the Real World.Bart Van Kerkhove & Jean Paul Van Bendegem - 2008 - Erkenntnis 68 (3):421-435.details
- Michael Detlefsen , Proof, Logic and Formalization. Michael Detlefsen , Proof and Knowledge in Mathematics.Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.details
- Looking for Busy Beavers. A Socio-Philosophical Study of a Computer-Assisted Proof.Liesbeth De Mol - unknowndetails
- What Godel's Incompleteness Result Does and Does Not Show.Haim Gaifman - 2000 - Journal of Philosophy 97 (8):462.details
- What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.details
- Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
- Gödel’s Incompleteness Theorems and Artificial Life.John P. Sullins Iii - 1997 - Techné: Research in Philosophy and Technology 2 (3):185-195.details
- Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3).details
- Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.details
- A Note on Incompleteness and Heterologicality.P. M. Sullivan - 2003 - Analysis 63 (1):32-38.details
- Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.William Ryan - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):457-459.details
- Remarks on the Incompleteness Proof.Gerold Stahl - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (11-14):164-170.details
- Proofs as Spatio-Temporal Processes.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - Philosophia Scientae 18:111-125.details
- Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientae 18:23-37.details
- On Bolzano’s Alleged Explicativism.Jacques Dubucs & Sandra Lapointe - 2006 - Synthese 150 (2):229-246.details
- Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.details
- Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures.James Robert Brown - 1999 - Routledge.details
- Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press.details
- Godel's Theorem in Focus.S. G. Shanker (ed.) - 1987 - Routledge.details
- Week-Long Tutorial: Gödel's Incompleteness Theorems.Bernd Buldt - unknowndetails
- A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
- Gödel on Truth and Proof.Dan Nesher - unknowndetails
- There's Something About Gdel: The Complete Guide to the Incompleteness Theorem.Francesco Berto - 2009 - Wiley-Blackwell.details
- Proof and Knowledge in Mathematics.Michael Detlefsen (ed.) - 1992 - Routledge.details
- Gödel’s First Incompleteness Theorem.Bernd Buldt - unknowndetails
- Gödel’s Second Incompleteness Theorem.Bernd Buldt - unknowndetails
- On the Depth of Szemeredi's Theorem.Andrew Arana - 2015 - Philosophia Mathematica 23 (2):163-176.details
- Interpreting Gödel: Critical Essays.Juliette Kennedy (ed.) - 2014 - Cambridge: Cambridge University Press.details
- Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
- Deduction: Automated Logic.W. Bibel, Steffen Hölldobler & Gerd Neugebauer - 1992 - London, England: Academic Press.details
- Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings. [REVIEW]David McAllester - 2000 - Springer Verlag.details
- Automated Deduction--Cade 16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : Proceedings. [REVIEW]Harald Ganzinger - 1999 - Springer Verlag.details
- Automated Deduction, Cade-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings. [REVIEW]Claude Kirchner & Helene Kirchner - 1998 - Springer Verlag.details
- Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings. [REVIEW]William McCune - 1997 - Springer Verlag.details
- Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996. Proceedings. [REVIEW]M. A. Mcrobbie & J. K. Slaney - 1996 - Springer Verlag.details
- Isabelle a Generic Theorem Prover.Lawrence C. Paulson - 1994 - Springer Verlag.details
- Automated Deduction, Cade-12.: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings. [REVIEW]Alan Bundy - 1994 - Springer Verlag.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|