After Gödel: Mechanism, reason, and realism in the philosophy of mathematics

Philosophia Mathematica

Volumn 14, Issue 2, 2006, Pages 229-254

  Tieszen, Richard ^a  

^a SAN JOSE STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33745631752     PISSN: 00318019     EISSN: 17446406     Source Type: Journal    
DOI: 10.1093/philmat/nkj008     Document Type: Article

References (31)

1. Gödel, K. [1934]: 'On undecidable propositions of formal mathematical systems', in [Gödel, 1986], pp. 346-371.
2. Gödel, K. [*193?]: 'Undecidable diophantine propositions', in [Gödel, 1995], pp. 164-175.
3. Gödel, K. [1944]: 'Russell's mathematical logic', in [Gödel, 1990], pp. 119-143.
4. Gödel, K. [1946]: 'Remarks before the Princeton Bicentennial Conference on problems in mathematics', in [Gödel, 1990], pp. 150-153.
5. Gödel, K. [*1951]: 'Some basic theorems on the foundations of mathematics and their implications', in [Gödel, 1995], pp. 304-323.
6. Gödel, K. [*1953/9, III and V]: 'Is mathematics syntax of language?', in [Gödel, 1995], pp. 334-363.
7. Gödel, K. [*1961/?]: 'The modern development of the foundations of mathematics in the light of philosophy', in [Gödel, 1995], pp. 374-387.
8. Gödel, K. [1964]: 'What is Cantor's continuum problem?', in [Gödel, 1990], pp. 254-270.
9. Gödel, K. [1972]: 'On an extension of finitary mathematics which has not yet been used', in [Gödel, 1990], pp. 271-280.
10. Gödel, K. [1972a]: 'Some Remarks on the Undecidability Results', in [Gödel, 1990], pp. 305-306.
11. Gödel, K. [1986]: Collected Works, Vol. I. Feferman, S. et al., eds. Oxford: Oxford University Press.
12. Gödel, K. [1990]: Collected Works, Vol. II. Feferman, S. et al., eds. Oxford: Oxford University Press.
13. Gödel, K. [1995]: Collected Works, Vol. III. Feferman, S. et al., eds. Oxford: Oxford University Press.
14. Gödel, K. [2003a]: Collected Works, Vol. IV. Feferman, S. et al., eds. Oxford: Oxford University Press.
15. Gödel, K. [2003b]: Collected Works, Vol. V. Feferman, S. et al., eds. Oxford: Oxford University Press.
16. Hauser, K. [forthcoming]: 'Gödel's program revisited', Husserl Studies.
17. Hilbert, D. [1900]: 'Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongress zu Paris 1900', Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, 253-297.
18. English translation by M. Newson in Bulletin of the American Mathematical Society 8 (1902), 437-479.
19. Hilbert, D. [1926]: 'Über das Unendliche', Mathematische Annalen 95, 161-190. English translation by S. Bauer-Mengelberg in [van Heijenoort, 1967], pp. 367-392.
20. Husserl, E. [1936]: 'Die Krisis der europäischen Wissenschaften und die transzendentale Phänomenologie', Philosophia 1, 77-176. See The Crisis of the European Sciences and Transcendental Phenomenology. D. Carr, trans. Evanston, Illinois: Northwestern University Press, 1970.
21. Parsons, C. [1980]: 'Mathematical intuition', Proceedings of the Aristotelian Society 80, 145-168.
22. Parsons, C. [2003]: 'Introductory note to correspondence with Gotthard Günther', in [Gödel, 2003a], pp. 457-476.
23. Tieszen, R. [1989]: Mathematical Intuition. Dordrecht: Kluwer.
24. Tieszen, R. [2005]: Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge: Cambridge University Press.
25. Turing, A. [1937]: 'On computable numbers, with an application to the Entscheidungsproblem', Proceedings of the London Mathematical Society 42, 230-265.
26. van Atten, M., and J. Kennedy [2003]: 'On the philosophical development of Kurt Gödel', The Bulletin of Symbolic Logic 9, 425-476.
27. van Heijenoort, J., ed. [1967]: From Frege to Gödel. Cambridge, Mass.: Harvard University Press.
28. Wang, H. [1974]: From Mathematics to Philosophy. New York: Humanities Press.
29. Wang, H. [1987]: Reflections on Kurt Gödel. Cambridge, Mass.: MIT Press.
30. Wang, H. [1996]: A Logical Journey: From Gödel to Philosophy. Cambridge, Mass.: MIT Press.
31. Webb, J. [1990]: 'Introductory note to Gödel 1972a', in [Gödel, 1990], pp. 292-304.