- Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
(1 other version)Philosophy of mathematics: Selected Readings.Alec Fisher - 1969 - Journal of Symbolic Logic 34 (1):107-110.details
|
|
(1 other version)Hao Wang, A Logical Journey: From Gödel to Philosophy. [REVIEW]Sanford Shieh - 2000 - Erkenntnis 52 (1):109-115.details
|
|
(1 other version)Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
(3 other versions)Philosophy of mathematics: selected readings.Paul Benacerraf & Hilary Putnam (eds.) - 1983 - New York: Cambridge University Press.details
|
|
(1 other version)Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Beyond the axioms: The question of objectivity in mathematics.W. TaitW - 2001 - Philosophia Mathematica 9 (1):21-36.details
|
|
(1 other version)Platonism and mathematical intuition in Kurt gödel's thought.Charles Parsons - 1995 - Bulletin of Symbolic Logic 1 (1):44-74.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
(1 other version)The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
(2 other versions)From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: London.details
|
|
A Logical Journey. From Gödel to Philosophy.Hao Wang - 1998 - Philosophy 73 (285):495-504.details
|
|
Book Review. Reflections. Kurt Godel. [REVIEW]Harold T. Hodes - 1989 - THe Journal for Symbolic Logic 54 (3):1095-98.details
|
|
(1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
(1 other version)Grundlagen der Mathematik I.G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.details
|
|
Truth and proof.Otávio Bueno - 2008 - Manuscrito 31 (1):419-440.details
|
|
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
(3 other versions)Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.details
|
|
Logic, Methodology and Philosophy of Science.Max Black, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1963 - Philosophical Review 72 (4):538.details
|
|
Reflections on Kurt Gödel.Hao Wang - 1990 - Bradford.details
|
|
Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier.details
|
|
Finite trees and the necessary use of large cardinals.Harvey Friedman - manuscriptdetails
|
|
From Mathematics to Philosophy.Hao Wang - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
Reflections on Kurt Gödel.Hao Wang - 1988 - Mind 97 (388):634-638.details
|
|
Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.details
|
|
On the interpretation of non-finitist proofs—Part I.G. Kreisel - 1951 - Journal of Symbolic Logic 16 (4):241-267.details
|
|
(1 other version)Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.details
|
|
Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.details
|
|
(4 other versions)From Mathematics to Philosophy.John P. Burgess - 1977 - Journal of Symbolic Logic 42 (4):579-580.details
|
|
The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.details
|
|
(2 other versions)Recursive Functionals and Quantifiers of Finite Types I.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
Review of Dawson [1997]. [REVIEW]M. Davis - 1998 - Philosophia Mathematica 6 (3).details
|
|
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.details
|
|
(1 other version)Grundlagen der Mathematik I. Hilbert & Bernays - 1935 - Revue de Métaphysique et de Morale 42 (2):12-14.details
|
|