Godel's Theorem
 Remarks on Wittgenstein, Gödel, Chaitin, Incompleteness, Impossiblity and the Psychological Basis of Science and Mathematics.Michael Richard Starks  2019  In Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal. Las Vegas, NV USA: Reality Press. pp. 2438.details
 Proof That Wittgenstein is Correct About Gödel.P. Olcott  manuscriptdetails
 Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott  manuscriptdetails
 Review of 'The Outer Limits of Reason' by Noson Yanofsky 403p (2013) (Review Revised 2019).Michael Starks  2019  In Suicidal Utopian Delusions in the 21st Century  Philosophy, Human Nature and the Collapse of Civilization  Articles and Reviews 20062019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 299316.details
 Wolpert, Chaitin and Wittgenstein on Impossibility, Incompleteness, the Liar Paradox, Theism, the Limits of Computation, a NonQuantum Mechanical Uncertainty Principle and the Universe as Computer—the Ultimate Theorem in Turing Machine Theory (Revised 2019).Michael Starks  2019  In Suicidal Utopian Delusions in the 21st Century  Philosophy, Human Nature and the Collapse of Civilization  Articles and Reviews 20062019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 294299.details
 Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge. [REVIEW]Panu Raatikainen  2018  History and Philosophy of Logic 39 (4):401403.details
 What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks  manuscriptdetails
 Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks  2015  Baltic Journal of Modern Computing 3 (1):115.details
 Review of Space, Time, and Number in the Brain. [REVIEW]Carlos Montemayor & Rasmus Grønfeldt Winther  2015  Mathematical Intelligencer 37 (2):9398.details
 Exploring Randomness.Panu Raatikainen  2001  Notices of the AMS 48 (9):9926.details
 The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto  2009  Philosophia Mathematica 17 (2):208219.details
 How to Say Things with Formalisms.David Auerbach  1992  In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 7793.details
 Intensionality and the Gödel Theorems.David D. Auerbach  1985  Philosophical Studies 48 (3):33751.details
 SelfReference and Gödel's Theorem: A Husserlian Analysis. [REVIEW]Albert Johnstone  2003  Husserl Studies 19 (2):131151.details
 On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen  2005  Revue Internationale de Philosophie 59 (4):513534.details
Undecidability
 Proof That Wittgenstein is Correct About Gödel.P. Olcott  manuscriptdetails
 Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott  manuscriptdetails
 Review of 'The Outer Limits of Reason' by Noson Yanofsky 403p (2013) (Review Revised 2019).Michael Starks  2019  In Suicidal Utopian Delusions in the 21st Century  Philosophy, Human Nature and the Collapse of Civilization  Articles and Reviews 20062019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 299316.details
 Pluralism and the Liar.Cory Wright  2017  In Bradley ArmourGarb (ed.), Reflections on the Liar. Oxford University Press. pp. 347–373.details
 What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks  manuscriptdetails
 Wolpert, Chaitin and Wittgenstein on Impossibility, Incompleteness, the Limits of Computation, Theism and the Universe as Computerthe Ultimate Turing Theorem.Michael Starks  2017  Philosophy, Human Nature and the Collapse of Civilization Michael Starks 3rd Ed. (2017).details
 Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks  2015  Baltic Journal of Modern Computing 3 (1):115.details
 Three Concepts of Decidability for General Subsets of Uncountable Spaces.Matthew W. Parker  2003  Theoretical Computer Science 351 (1):213.details
 The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto  2009  Philosophia Mathematica 17 (2):208219.details
 Undecidability in Rn: Riddled Basins, the KAM Tori, and the Stability of the Solar System.Matthew W. Parker  2003  Philosophy of Science 70 (2):359382.details
Mathematical Proof, Misc
 Teaching and Learning Guide for "Explanation in Mathematics: Proofs and Practice".William D'Alessandro  forthcoming  Philosophy Compass.details
 Explanation in Mathematics: Proofs and Practice.William D'Alessandro  forthcoming  Philosophy Compass.details
 Evidence, Proofs, and Derivations.Andrew Aberdein  forthcoming  ZDM 51 (4).details
 Pluralism and the Liar.Cory Wright  2017  In Bradley ArmourGarb (ed.), Reflections on the Liar. Oxford University Press. pp. 347–373.details
 Intuitionistic Logic and its Philosophy.Panu Raatikainen  2013  AlMukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy (6):114127.details
 Teoria zdań odrzuconych.Urszula WybraniecSkardowska  1969  Dissertation, Opole Universitydetails
 An Inquiry Into the Practice of Proving in LowDimensional Topology.Silvia De Toffoli & Valeria Giardino  2015  In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315116.details
 ‘Chasing’ the Diagram—the Use of Visualizations in Algebraic Reasoning.Silvia de Toffoli  2017  Review of Symbolic Logic 10 (1):158186.details
 Affect, Behavioural Schemas and the Proving Process.Annie Selden, John Selden & Kerry McKee  2010  International Journal for Mathematical Education in Science and Technology 41 (2):199215.details
 The Formal Sciences Discover the Philosophers' Stone.James Franklin  1994  Studies in History and Philosophy of Science Part A 25 (4):513533.details
 Forms and Roles of Diagrams in Knot Theory.Silvia De Toffoli & Valeria Giardino  2014  Erkenntnis 79 (4):829842.details
 Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach  2004  Philosophiques 31 (1):221224.details
 Objectivity Sans Intelligibility. Hermann Weyl's Symbolic Constructivism.Iulian D. Toader  2011  Dissertation, University of Notre Damedetails
 A Mathematical Model of Aristotle’s Syllogistic.John Corcoran  1973  Archiv für Geschichte der Philosophie 55 (2):191219.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus 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

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
