- The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.details
|
|
Passive induction and a solution to a Paris–Wilkie open question.Dan E. Willard - 2007 - Annals of Pure and Applied Logic 146 (2-3):124-149.details
|
|
A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski. [REVIEW]Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
The early history of formal diagonalization.C. Smoryński - 2023 - Logic Journal of the IGPL 31 (6):1203-1224.details
|
|
Representing the knowledge of turing machines.Hyun Song Shin & Timothy Williamson - 1994 - Theory and Decision 37 (1):125-146.details
|
|
Uniform Density in Lindenbaum Algebras.V. Yu Shavrukov & Albert Visser - 2014 - Notre Dame Journal of Formal Logic 55 (4):569-582.details
|
|
Le paradoxe de Richard : une solution kolmogorovienne.Alain Séguy-Duclot - 2015 - Dialogue 54 (2):209-224.details
|
|
On the diagonal lemma of Gödel and Carnap.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (1):80-88.details
|
|
On constructivity and the Rosser property: a closer look at some Gödelean proofs.Saeed Salehi & Payam Seraji - 2018 - Annals of Pure and Applied Logic 169 (10):971-980.details
|
|
Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientiae 18:23-37.details
|
|
Gödel’s second incompleteness theorem: How it is derived and what it delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.details
|
|
Misunderstanding Gödel: New Arguments about Wittgenstein and New Remarks by Wittgenstein.Victor Rodych - 2003 - Dialectica 57 (3):279-313.details
|
|
Misunderstanding gödel: New arguments about Wittgenstein and new remarks by Wittgenstein.Victor Rodych - 2003 - Dialectica 57 (3):279–313.details
|
|
Self-reference and validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
What is Intuitionistic Arithmetic?V. Alexis Peluce - forthcoming - Erkenntnis:1-26.details
|
|
Hilbert's programme and gödel's theorems.Karl-Georg Niebergall & Matthias Schirn - 2002 - Dialectica 56 (4):347–370.details
|
|
The Limits of Human Mathematics.Nathan Salmon - 2001 - Noûs 35 (s15):93 - 117.details
|
|
Bemerkungen zum begriff der inhaltlichen widerspruchsfreiheit.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):113-114.details
|
|
Rosser and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
|
|
On teaching critical thinking.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56–78.details
|
|
On Teaching Critical Thinking1.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56-78.details
|
|
Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.details
|
|
The Transcendental Source of Logic by Way of Phenomenology.Stathis Livadas - 2018 - Axiomathes 28 (3):325-344.details
|
|
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.details
|
|
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.details
|
|
On Rosser's provability predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.details
|
|
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.details
|
|
Computing machines can't be intelligent (...And Turing said so).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.details
|
|
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.details
|
|
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.details
|
|
Generalizations of gödel’s incompleteness theorems for ∑n-definable theories of arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.details
|
|
A note on the first incompleteness theorem.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (2):214-216.details
|
|
Maximally Consistent Sets of Instances of Naive Comprehension.Luca Incurvati & Julien Murzi - 2017 - Mind 126 (502).details
|
|
Logic and limits of knowledge and truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.details
|
|
Incompleteness and truth definitions.G. Germano - 1971 - Theoria 37 (1):86-90.details
|
|
O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących.Kurt Gödel - 2018 - Studia Semiotyczne 32 (2):9-32.details
|
|
[Challenged by [challenged by [challenged by the Incompleteness Theorems]]] - a review of K. Godel, "Uber fromal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I", translated and commented by Susumu Hayashi and Mariko Yasugi , / Kazuyuki Tanaka, "Challenged by Godel".Sakaé Fuchino - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):63-80.details
|
|
The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.details
|
|
Aspects of the Real Numbers: Putnam, Wittgenstein, and Nonextensionalism.Juliet Floyd - 2020 - The Monist 103 (4):427-441.details
|
|
Representations of calculi.Frederic B. Fitch - 1944 - Journal of Symbolic Logic 9 (3):57-62.details
|
|
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort. [REVIEW]Philippe de Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.details
|
|
Arithmetical problems and recursively enumerable predicates.Martin Davis - 1953 - Journal of Symbolic Logic 18 (1):33-41.details
|
|
Buttresses of the Turing Barrier.Paolo Cotogno - 2015 - Acta Analytica 30 (3):275-282.details
|
|
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.details
|
|
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.details
|
|