Documents Related by Co-Citation

5 Numbers and functions in Hilbert’s finitism, Taiwanese Journal for Philosophy and History of Science 10 – R Zach
4 rôle de l’intuition et de la logique en mathématiques, Compte redu du Deuxième congrès international des mathématiciens tenu à Paris du 6 au 12 août – H Poincaré - 1900
2 Nested recursion, Mathematische Annalen 143 – W Tait - 1961
5 Truth and proof: the Platonism of mathematics, Synthese 69 – W Tait - 1986
15 On an extension of finitary mathematics which has not yet been used – K Gödel - 1972
7 The modern development of the foundations of mathematics in the light of philosophy – K Gödel - 1995
3 Hilbert's programme. Dialectica 12, 346--372. (Revised, with Postscript in (Benaceraff and Putnam – G Kreisel - 1958
5 The present situation in the foundations of mathematics – K Gödel - 1995
9 Undecidable diophantine propositions – K Gödel - 1995
5 Lecture at Zilsel’s – K Gödel - 1995
3 Gödel’s correspondence on proof theory and constructive mathematics – W. W. Tait
2 Logos, logic and logistiké – H Stein - 1988
1 Was sind und was sollen die Zahlen?’, Braunschweig: Vieweg – R - 1932
1 Synthetic history reconsidered, in M. Domski and M. Dickson (eds), Essays on a New Method: Reinvigorating the Marriage of History and PHilosophy of Science – Kant, the Exact Sciences, Cambridge Harvard Friedman, M - 2008
1 what sense is intuitionistic logic constructive – K - 1995
1 Remarks on finitism, Reflections on the Foundations of Mathematics: Essays – W
1 2005a]. Gödel’s interpretation of intuitionism – W Tait
27 Elements of mathematical logic – G Kreisel, J-L Krivine - 1967
12 Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie – G Gentzen - 1943