- 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
|
|
Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
On the Elementary Theory of Linear Order.J. Leonard - 1968 - Journal of Symbolic Logic 33 (2):287-287.details
|
|
Formally Self-Referential Propositions for Cut Free Analysis and Related Systems.Georg Kreisel & Gaisi Takeuti - 1985 - Journal of Symbolic Logic 50 (1):244-246.details
|
|
Friedman's Research on Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1990 - Journal of Symbolic Logic 55 (2):870-874.details
|
|
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.details
|
|
The Elementary Theory of Finite Fields.James Ax - 1973 - Journal of Symbolic Logic 38 (1):162-163.details
|
|
Undecidable-Rings.Raphael M. Robinson - 1952 - Journal of Symbolic Logic 17 (4):268-269.details
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|
Philosophie der Arithmetik.E. S. Husserl - 1892 - Philosophical Review 1 (3):327-330.details
|
|
(1 other version)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
|
|
(1 other version)Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.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
|
|
An Argument against the Plausibility of Church's Thesis.László Kalmár - 1959 - In A. Heyting (ed.), Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957. Amsterdam: North-Holland. pp. 72-80.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
|
|
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
|
|
Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.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
|
|
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.details
|
|
Nonprovability of Certain Combinatorial Properties of Finite Trees.Stephen G. Simpson - 1990 - Journal of Symbolic Logic 55 (2):868-869.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
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.details
|
|
Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.details
|
|
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
A remark concerning decidability of complete theories.Antoni Janiczak - 1950 - Journal of Symbolic Logic 15 (4):277-279.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.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
|
|
(1 other version)A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.details
|
|
Shadows of the Mind: A Search for the Missing Science of Consciousness.Roger Penrose - 1994 - Oxford University Press.details
|
|
(1 other version)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
|
|
(1 other version)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
|
|
(1 other version)A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.details
|
|
(2 other versions)Satan Stultified.J. R. Lucas - 1968 - The Monist 52 (1):145-158.details
|
|
(1 other version)Second Thoughts about Church's Thesis and Mathematical Proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.details
|
|
(2 other versions)Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.details
|
|
Primitive Recursive Functions.Raphael M. Robinson - 1948 - Journal of Symbolic Logic 13 (2):113-114.details
|
|
Formal Reductions of the General Combinatorial Decision Problem.Emil L. Post - 1943 - Journal of Symbolic Logic 8 (1):50-52.details
|
|