 On Deductionism.Dan Bruiger  manuscriptdetails
 Proof That Wittgenstein is Correct About Gödel.P. Olcott  manuscriptdetails
 Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott  manuscriptdetails
 Tarski Undefinability Theorem Terse Refutation.P. Olcott  manuscriptdetails
 Defining Gödel Incompleteness Away.P. Olcott  manuscriptdetails
 Deductively Sound Formal Proofs.P. Olcott  manuscriptdetails
 Minimal Type Theory (MTT).Pete Olcott  manuscriptdetails
 A Theory of Implicit Commitment for Mathematical Theories.Mateusz Łełyk & Carlo Nicolai  manuscriptdetails
 ¿Qué significa paraconsistente, indescifrable, aleatorio, computable e incompleto? Una revisión de la Manera de Godel: explota en un mundo indecible (Godel’s Way: exploits into an undecidable world) por Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160P (2012) (revisión revisada 2019).Michael Richard Starks  2019  In Observaciones Sobre Imposibilidad, Incompleta, Paracoherencia,Indecisión,Aleatoriedad, Computabilidad, Paradoja E Incertidumbre En Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, Dacosta, Godel, Searle, Rodych, Berto,Floyd, MoyalSharrock Y Yanofsky. Las Vegas, NV USA: Reality Press. pp. 4463.details
 The Logical Strength of Compositional Principles.Richard Heck  2018  Notre Dame Journal of Formal Logic 59 (1):133.details
 What Paradoxes Depend On.Ming Hsiung  2018  Synthese:127.details
 Typed and Untyped Disquotational Truth.Cezary Cieśliński  2015  In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.details
 The Innocence of Truth.Cezary Cieśliński  2015  Dialectica 69 (1):6185.details
 Hilbert's Objectivity.Lydia Patton  2014  Historia Mathematica 41 (2):188203.details
 TEquivalences for Positive Sentences.Cezary Cieśliński  2011  Review of Symbolic Logic 4 (2):319325.details
 The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto  2009  Philosophia Mathematica 17 (2):208219.details
 Hilbert's Program Then and Now.Richard Zach  2007  In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.details
 Kurt Gödel, Paper on the Incompleteness Theorems (1931).Richard Zach  2004  In Ivor GrattanGuinness (ed.), Landmark Writings in Mathematics. Amsterdam: NorthHolland. pp. 917925.details
 Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach  2004  Philosophiques 31 (1):221224.details
 Mathematics and the Theory of Multiplicities: Badiou and Deleuze Revisited.Daniel W. Smith  2003  Southern Journal of Philosophy 41 (3):411449.details
 The Kinds of Truth of Geometry Theorems.Michael Bulmer, Desmond FearnleySander & Tim Stokes  2001  In Jürgen RichterGebert & Dongming Wang (eds.), LNCS: Lecture Notes In Computer Science. Springer Verlag. pp. 129142.details
 Numbers and Functions in Hilbert's Finitism.Richard Zach  1998  Taiwanese Journal for History and Philosophy of Science 10:3360.details
 Eliminating Undecidability and Incompleteness in Formal Systems.Pete Olcott  manuscriptdetails
 On Truth and Instrumentalisation.Chris Henry  unknowndetails
 Consistency Problem and “Unexpected Hanging Paradox” (An Answering to P=NP Problem).Farzad Didehvar  unknowndetails

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.
