- From Mathematics to Philosophy.Hao Wang - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
Rosser sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.details
|
|
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.details
|
|
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.details
|
|
The Intrinsic Computational Difficulty of Functions.Alan Cobham - 1965 - In Yehoshua Bar-Hillel (ed.), Logic, methodology and philosophy of science. Amsterdam,: North-Holland Pub. Co.. pp. 24-30.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.details
|
|
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
|
|
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.details
|
|
The Reception of Godel's Incompleteness Theorems.John W. Dawson - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.details
|
|
What is Mathematical Truth?Hilary Putnam - 1979 - In Philosophical Papers: Volume 1, Mathematics, Matter and Method. New York: Cambridge University Press. pp. 60--78.details
|
|
Wittgenstein's Philosophy of Mathematics.Michael Dummett - 1997 - Journal of Philosophy 94 (7):166--85.details
|
|
Peano's smart children: a provability logical study of systems with built-in consistency.Albert Visser - 1989 - Notre Dame Journal of Formal Logic 30 (2):161-196.details
|
|
Some Current Problems in Metamathematics 1.Alfred Tarski, Jan Tarski & Jan Woleński - 1995 - History and Philosophy of Logic 16 (2):159-168.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
|
|
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Russell's Mathematical Logic.Kurt Gödel - 1944 - In The Philosophy of Bertrand Russell. Northwestern University Press. pp. 123-154.details
|
|
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
Friedman's Research on Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1990 - Journal of Symbolic Logic 55 (2):870-874.details
|
|
Nonprovability of Certain Combinatorial Properties of Finite Trees.Stephen G. Simpson - 1990 - Journal of Symbolic Logic 55 (2):868-869.details
|
|
Infinity and the mind: the science and philosophy of the infinite.Rudy von Bitter Rucker - 1982 - Princeton, N.J.: Princeton University Press.details
|
|
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.details
|
|
Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.details
|
|
To and from philosophy — discussions with gödel and Wittgenstein.Hao Wang - 1991 - Synthese 88 (2):229 - 277.details
|
|
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.details
|
|
The axiomatization of arithmetic.Hao Wang - 1957 - Journal of Symbolic Logic 22 (2):145-158.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
A remark concerning decidability of complete theories.Antoni Janiczak - 1950 - Journal of Symbolic Logic 15 (4):277-279.details
|
|
Wittgenstein's philosophy of mathematics.Michael Dummett - 1959 - Philosophical Review 68 (3):324-348.details
|
|
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.details
|
|
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.details
|
|
Godel's theorem, church's theorem, and mechanism.J. J. C. Smart - 1961 - Synthese 13 (1):105-10.details
|
|
The emperor’s new mind.Roger Penrose - 1989 - Oxford University Press.details
|
|
Godel's theorem is a red Herring.I. J. Good - 1968 - British Journal for the Philosophy of Science 19 (February):357-8.details
|
|
Lucas' number is finally up.G. Lee Bowie - 1982 - Journal of Philosophical Logic 11 (3):279-85.details
|
|
Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):97-118.details
|
|
Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|