- Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable†.Timm Lampert - 2018 - Philosophia Mathematica 26 (3):324-345.details
|
|
Husserl and gödel’s incompleteness theorems.Mirja Hartimo - 2017 - Review of Symbolic Logic 10 (4):638-650.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
On Saying What You Really Want to Say: Wittgenstein, Gödel and the Trisection of the Angle.Juliet Floyd - 1995 - In Jaakko Hintikka (ed.), From Dedekind to Gödel: The Foundations of Mathematics in the Early Twentieth Century, Synthese Library Vol. 251 (Kluwer Academic Publishers. pp. 373-426.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).details
|
|
(1 other version)It's Not Given Us to Foretell How Our Words Will Echo through the Ages: The Reception of Novel Ideas by Scientific Community.Valentin Bazhanov - 2009 - Principia: An International Journal of Epistemology 13 (2):129-136.details
|
|
Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics.Thomas E. Uebel - 2005 - History and Philosophy of Logic 26 (3):175-209.details
|
|
Undefinability of truth. the problem of priority:tarski vs gödel.Roman Murawski - 1998 - History and Philosophy of Logic 19 (3):153-160.details
|
|
On How Logic Became First-Order.Matti Eklund - 1996 - Nordic Journal of Philosophical Logic 1 (2):147-67.details
|
|
What Hath Gödel Wrought?J. W. Dawson - 1998 - Synthese 114 (1):3-12.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Intentional gaps in mathematical proofs.Don Fallis - 2003 - Synthese 134 (1-2):45 - 69.details
|
|
Wittgenstein's inversion of gödel's theorem.Victor Rodych - 1999 - Erkenntnis 51 (2-3):173-206.details
|
|
Distortions and Discontinuities of Mathematical Progress: A Matter of Style, A Matter of Luck, A Matter of Time A Matter of Fact.Irving H. Anellis - 1989 - Philosophica 43.details
|
|
Seventh Quadrennial Fellows Conference of the Center for Philosophy of Science.-Preprint Volume- - unknowndetails
|
|
Limited ink : interpreting and misinterpreting GÜdel's incompleteness theorem in legal theory.Karen Crawley - unknowndetails
|
|
Gödel on Truth and Proof.Dan Nesher - unknowndetails
|
|