- Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
The wave equation with computable initial data whose unique solution is nowhere computable.Marian B. Pour-El & Ning Zhong - 1997 - Mathematical Logic Quarterly 43 (4):499-509.details
|
|
Platonism and mathematical intuition in Kurt gödel's thought.Charles Parsons - 1995 - Bulletin of Symbolic Logic 1 (1):44-74.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|
The Logical Syntax of Language. [REVIEW]E. N. - 1937 - Journal of Philosophy 34 (11):303.details
|
|
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.details
|
|
Introduction to Mathematical Logic.John Corcoran - 1964 - Journal of Symbolic Logic 54 (2):618-619.details
|
|
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.details
|
|
How applied mathematics became pure.Penelope Maddy - 2008 - Review of Symbolic Logic 1 (1):16-41.details
|
|
Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.details
|
|
The Axiomatic Method: An Introduction to Mathematical Logic.Peter Andrews - 1964 - Journal of Symbolic Logic 31 (1):106-108.details
|
|
Theological Metaphors in Mathematics.Stanisław Krajewski - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):13-30.details
|
|
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.details
|
|
Reduction and Tarski's Definition of Logical Consequence.Jim Edwards - 2003 - Notre Dame Journal of Formal Logic 44 (1):49-62.details
|
|
On the Restricted Ordinal Theorem.R. L. Goodstein - 1945 - Journal of Symbolic Logic 10 (3):104-105.details
|
|
On the restricted ordinal theorem.R. L. Goodstein - 1944 - Journal of Symbolic Logic 9 (2):33-41.details
|
|
A Note on Wittgenstein’s “Notorious Paragraph” About the Gödel Theorem.Juliet Floyd & Hilary Putnam - 2000 - Journal of Philosophy 97 (11):624-632.details
|
|
Does mathematics need new axioms.Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 1999 - Bulletin of Symbolic Logic 6 (4):401-446.details
|
|
Computability. Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.details
|
|
A Mathematician's Apology.G. H. Hardy - 1941 - Philosophy 16 (63):323-326.details
|
|
The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.Curtis Franks - 2009 - New York: Cambridge University Press.details
|
|
Metamathematics of First-Order Arithmetic.Petr Hajek & Pavel Pudlak - 1998 - Springer Verlag.details
|
|
What is Mathematics, Really?Reuben Hersh - 1997 - New York: Oxford University Press.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
On What There Is.Willard Van Orman Quine - 1948 - Review of Metaphysics 2 (5):21-38.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
Tarski's truth definitions.Wilfrid Hodges - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?Albert Einstein, Boris Podolsky & Nathan Rosen - 1935 - Physical Review (47):777-780.details
|
|
Foundations of Analysis.Edmund Landau & F. Steinhardt - 1952 - British Journal for the Philosophy of Science 2 (8):342-343.details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.details
|
|
Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.details
|
|
An Argument against the Plausibility of Church's Thesis.László Kalmár - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 72-80.details
|
|
Some Remarks on Axiomatised Set Theory.Thoraf Skolem - 1922 - In J. Van Heijenoort (ed.), ¸ Iteheijenoort. Harvard University Press. pp. 290--301.details
|
|
On non-standard models of Peano Arithmetic.Laureano Luna - 2008 - The Reasoner 2:2.details
|
|
Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford: Oxford University Press. pp. 590-624.details
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
Computing Machinery and Intelligence.Alan M. Turing - 2003 - In John Heil (ed.), Philosophy of Mind: A Guide and Anthology. Oxford University Press.details
|
|
Axiomatic Set Theory. [REVIEW]Patrick Suppes - 1962 - Philosophical Review 71 (2):268-269.details
|
|
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.details
|
|
The autonomy of mathematical knowledge: Hilbert's program revisited.Curtis Franks - 2011 - Bulletin of Symbolic Logic 17 (1):119-122.details
|
|
The logical systems of Lesniewski.Eugène C. Luschei - 1962 - Revue Philosophique de la France Et de l'Etranger 155:246-247.details
|
|
Do Goedel's incompleteness theorems set absolute limits on the ability of the brain to express and communicate mental concepts verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.details
|
|
A Survey of Mathematical Logic.Hao Wang - 1965 - Journal of Symbolic Logic 30 (2):249-250.details
|
|
Principles of Mathematical Logic.D. Hilbert, W. Ackermann & Robert E. Luce - 1952 - Philosophy 27 (103):375-376.details
|
|
What Is Mathematical Logic?J. N. Crossley - 1975 - Critica 7 (21):120-122.details
|
|
Gaps between logical theory and mathematical practice.John Corcoran - 1973 - In Mario Augusto Bunge (ed.), The Methodological Unity of Science. Boston: Reidel. pp. 23--50.details
|
|
Proof Theory.Wilfried Sieg - unknowndetails
|
|