- 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, Moyal-Sharrock Y Yanofsky. Las Vegas, NV USA: Reality Press. pp. 44-63.details
- The Logical Strength of Compositional Principles.Richard Heck - 2018 - Notre Dame Journal of Formal Logic 59 (1):1-33.details
- What Paradoxes Depend On.Ming Hsiung - 2018 - Synthese:1-27.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):61-85.details
- Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.details
- T-Equivalences for Positive Sentences.Cezary Cieśliński - 2011 - Review of Symbolic Logic 4 (2):319-325.details
- The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.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 Grattan-Guinness (ed.), Landmark Writings in Mathematics. Amsterdam: North-Holland. pp. 917-925.details
- Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach - 2004 - Philosophiques 31 (1):221-224.details
- Mathematics and the Theory of Multiplicities: Badiou and Deleuze Revisited.Daniel W. Smith - 2003 - Southern Journal of Philosophy 41 (3):411-449.details
- The Kinds of Truth of Geometry Theorems.Michael Bulmer, Desmond Fearnley-Sander & Tim Stokes - 2001 - In Jürgen Richter-Gebert & Dongming Wang (eds.), LNCS: Lecture Notes In Computer Science. Springer Verlag. pp. 129-142.details
- Numbers and Functions in Hilbert's Finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.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
|
Off-campus access
Using PhilArchive 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
|
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.
|