The practice of finitism: Epsilon calculus and consistency proofs in hilbert's program

Synthese

Volumn 137, Issue 1-2, 2003, Pages 211-259

  Zach, Richard ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 37949037731     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1023/A:1026247421383     Document Type: Article

References (60)

1. H. R. Ackermann 1983 Aus dem Briefwechsel Wilhelm Ackermanns History and Philosophy of Logic 4 181 202
2. W. Ackermann 1924 Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit Mathematische Annalen 93 1 36
3. Ackermann, W.: 1924b, 'Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit', Dissertation, Universität Göttingen.
4. W. Ackermann 1928 Ñber die Erfüllbarkeit gewisser Zählausdrücke Mathematische Annalen 100 638 649
5. W. Ackermann 1928 Zum Hilbertschen Aufbau der reellen Zahlen Mathematische Annalen 99 118 133
6. W. Ackermann 1940 Zur Widerspruchsfreiheit der Zahlentheorie Mathematische Annalen 117 162 194
7. Ackermann, W.: 1954, Solvable Cases of the Decision Problem, North-Holland, Amsterdam.
8. Behmann, H.: 1918, 'Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead', Dissertation, Universität Göttingen, 352 pp.
9. Bernays, P.: 1918, 'Beiträge zur axiomatischen Behandlung des Logik-Kalküls', Habilitationsschrift, Universität Göttingen. Bernays Nachlaß, WHS, Bibliothek, ETH Zürich, Hs 973.192.
10. Dawson, J. W.: 1988, 'The Reception of Gödel's Incompleteness Theorems', In: S. G. Shanker (ed.), Gödel's Theorem in Focus. Routledge, London and New York, pp. 74-95.
11. Dedekind, R.: 1888, Was sind und was sollen die Zahlen? Vieweg, Braunschweig. English translation in Dedekind (1901).
12. Dedekind, R.: 1901, Essays on the Theory of Number, Open Court, New York.
13. Ewald, W. B. (ed.): 1996, From Kant to Hilbert. A Source Book in the Foundations of Mathematics, Vol. 2, Oxford University Press, Oxford.
14. G. Gentzen 1936 Die Widerspruchsfreiheit der reinen Zahlentheorie Mathematische Annalen 112 493 565
15. Grattan-Guinness, I.: 2000, The Search For Mathematical Roots 1870-1940. Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel, Princeton University Press, Princeton, N.J.
16. H. Hermes 1967 In memoriam Wilhelm Ackermann, 1896-1962 Notre Dame Journal of Formal Logic 8 1 8
17. Hilbert, D.: 1900, 'Mathematische Probleme', Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Math.-Phys. Klasse, pp. 253-297. Lecture given at the International Congress of Mathematicians, Paris, 1900. Partial English translation in Ewald (1996, 1096-1105).
18. Hilbert, D.: 1905, 'Ñber die Grundlagen der Logik und der Arithmetik', In: A. Krazer (ed.), Verhandlungen des dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904. Leipzig, pp. 174-185, Teubner. English translation in van Heijenoort (1967, 129-38).
19. D. Hilbert 1918 Axiomatisches Denken Mathematische Annalen 78 405 415
20. Hilbert, D.: 1918b, 'Prinzipien der Mathematik', Lecture notes by Paul Bernays. Winter-Semester 1917-18. Unpublished typescript. Bibliothek, Mathematisches Institut, Universität Göttingen.
21. Hilbert, D.: 1920a, 'Logik-Kalkül', Vorlesung, Winter-Semester 1920. Lecture notes by Paul Bernays. Unpublished typescript. Bibliothek, Mathematisches Institut, Universität Göttingen.
22. Hilbert, D.: 1920b, 'Probleme der mathematischen Logik', Vorlesung, Sommer-Semester 1920. Lecture notes by Paul Bernays and Moses Schönfinkel. Unpublished typescript. Bibliothek, Mathematisches Institut, Universität Göttingen.
23. Hilbert, D.: 1922a, 'Grundlagen der Mathematik', Vorlesung, Winter-Semester 1921-1922. Lecture notes by Helmut Kneser. Unpublished manuscript, three notebooks.
24. Hilbert, D.: 1922b, 'Grundlagen der Mathematik', Vorlesung, Winter-Semester 1921-1922. Lecture notes by Paul Bernays. Unpublished typescript. Bibliothek, Mathematisches Institut, Universität Göttingen.
25. D. Hilbert 1922 Neubegründung der Mathematik: Erste Mitteilung Abhandlungen aus dem Seminar der Hamburgischen Universität 1 157 77
26. D. Hilbert 1923 Die logischen Grundlagen der Mathematik Mathematische Annalen 88 151 165
27. D. Hilbert 1926 Ñber das Unendliche Mathematische Annalen 95 161 190
28. D. Hilbert 1928 Die Grundlagen der Mathematik Abhandlungen aus dem Seminar der Hamburgischen Universität 6 65 85
29. Hilbert, D.: 1928b, 'Probleme der Grundlegung der Mathematik', in N. Zanichelli (ed.), Atti del Congresso Internazionale dei Matematici, 3-10 September 1928, Bologna, pp. 135-141.
30. D. Hilbert 1929 Probleme der Grundlegung der Mathematik Mathematische Annalen 102 1 9
31. Hilbert, D.: 1935, Gesammelte Abhandlungen, Vol. 3. Springer, Berlin.
32. Hilbert, D. and W. Ackermann: 1928, Grundzüge der theoretischen Logik, Springer, Berlin.
33. Hilbert, D. and P Bernays: 1923a, 'Logische Grundlagen der Mathematik', Winter-Semester 1922-1923. Lecture notes by Helmut Kneser, unpublished manuscript.
34. Hilbert, D. and P. Bernays: 1923b, 'Logische Grundlagen der Mathematik', Vorlesung, Winter-Semester 1922-1923. Lecture notes by Paul Bernays, with handwritten notes by Hilbert. Hilbert-Nachlaß, Niedersächsische Staats-und Universitätsbibliothek, Cod. Ms. Hilbert 567.
35. Hilbert, D. and P. Bernays: 1934, Grundlagen der Mathematik, Vol. 1, Springer, Berlin.
36. Hilbert, D. and P. Bernays: 1939, Grundlagen der Mathematik, Vol. 2, Springer, Berlin.
37. Leisenring, A. C.: 1969, Mathematical Logic and Hilbert's ε-Symbol, MacDonald, London.
38. Mancosu, P. (ed.): 1998, From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, Oxford.
39. P. Mancosu 1999 Between Russell and Hilbert: Behmann on the Foundations of Mathematics Bulletin of Symbolic Logic 5 3 303 330
40. P. Mancosu 1999 Between Vienna and Berlin: The Immediate Reception of Gödel's Incompleteness Theorems History and Philosophy of Logic 20 33 45
41. Mints, G.: 1994, 'Gentzen-type Systems and Hilbert's Epsilon Substitution Method I', in D. Prawitz, B. Skyrms, and D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science IX, Elsevier, Amsterdam, pp. 91-122.
42. G. Mints 1996 Thoralf Skolem and the Epsilon Substitution Method for Predicate Logic Nordic Journal of Philosophical Logic 1 2 133 146
43. Mints, G. and S. Tupailo: 1999, 'Epsilon-Substitution for the Ramified Language and-comprehension Rule', in A. Cantini, E. Casari, and P. Minari (eds.), Logic and Foundations of Mathematics, Kluwer, Dordrecht, pp. 107-130.
44. G. Mints S. Tupailo W. Buchholz 1996 Epsilon Substitution Method for Elementary Analysis Archive for Mathematical Logic 35 103 130
45. Moser, G.: 2000, 'The Epsilon Substitution Method', Master's thesis, University of Leeds.
46. Parsons, C.: 1998, 'Finitism and Intuitive Knowledge', in M. Schirn (ed.), The Philosophy of Mathematics Today, Oxford University Press, Oxford, pp. 249-270.
47. Peckhaus, V.: 1990, Hilbertprogramm und Kritische Philosophie, Vandenhoeck und Ruprecht, Göttingen.
48. W. Sieg 1999 Hilbert's Programs: 1917-1922 Bulletin of Symbolic Logic 5 1 1 44
49. Skolem, T.: 1923, 'Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich', Videnskapsselskapets skrifter I. Matematisk-naturvidenskabelig klasse 6. English translation in van Heijenoort (1967, 302-333).
50. W. W. Tait 1965 The Substitution Method Journal of Symbolic Logic 30 175 192
51. W. W. Tait 1981 Finitism Journal of Philosophy 78 524 546
52. Tait, W. W.: 2002, 'Remarks on Finitism', in W. Sieg, R. Sommer, and C. Talcott (eds.), Reflections on the Foundations of Mathematics. Essays in Honor of Solomon Feferman, LNL 15. Association for Symbolic Logic.
53. van Heijenoort, J. (ed.): 1967, From Frege to Gödel. A Source Book in Mathematical Logic, 1897-1931, Harvard University Press, Cambridge, MA.
54. J. von Neumann 1927 Zur Hilbertschen Beweistheorie Mathematische Zeitschrift 26 1 46
55. Whitehead, A. N. and B. Russell: 1910, Principia Mathematica, Vol. 1, Cambridge University Press, Cambridge.
56. Whitehead, A. N. and B. Russell: 1913, Principia Mathematica, Vol. 2, Cambridge University Press, Cambridge.
57. R. Zach 1998 Numbers and Functions in Hilbert's Finitism Taiwanese Journal for Philosophy and History of Science 10 33 60
58. R. Zach 1999 Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic Bulletin of Symbolic Logic 5 3 331 366
59. Zach, R.: 2001a, 'Hilbert's Program: Historical, Philosophical, and Metamathematical Perspectives', Ph.D. thesis, University of California, Berkeley.
60. Zach, R.: 2001b, 'Hilbert's "Verunglückter Beweis" and the Epsilon-Theorems', in preparation.