×

From Dedekind to Zermelo versus Peano to Gödel. (Von Dedekind zu Zermelo versus Peano zu Gödel.) (German) Zbl 1395.01020

The author compares Dedekind’s and Peano’s approach to the characterization of the natural numbers. He points out the problems emerging from the set theoretical frame of Dedekind’s theory and states also that the mathematical arguments don’t depend on that problematic set theoretical frame. After sketching Peano’s axiomatic approach, the author refers to the decisive difference: Peano’s axioms can be restricted to the first-order logic but Dedekind’s theory of natural numbers can’t. In the following, the author discusses the relation between the first-order logic and Gödel’s incompleteness theorem, non-standard models of the (first-order) Peano arithmetic, Dedekind’s refusal of the possibility to characterize his approach in first-order logic, and some works of Zermelo in which he followed the “tradition of Dedekind”.

MSC:

01A55 History of mathematics in the 19th century
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Mitteilungen und Nachrichten. 1. Akademien. Gesellschaften. Vereinigungen. Versammlungen. Jahresberichte der Deutschen Mathematiker-Vereinigung, 12:344-347, 1903.
[2] Awodey, S., Reck, E.H.: Completeness and categoricity. Part I: Nineteenth-century axiomatics to twentieth-century metalogic. Hist Philos Log 23, 1-30 (2002) · Zbl 1031.03002 · doi:10.1080/01445340210146889
[3] Dedekind, R.: Was sind und was sollen die Zahlen? Gesammelte Werke, Bd. III. Vieweg, Braunschweig, S. 335-391 (1932) · JFM 36.0087.04
[4] Dedekind, R.: Brief an Keferstein. In: Scheel, K., Sonar, Th. (Hrsg.) In memoriam Richard Dedekind (1831-1916), WTM-Verlag — Stein, Münster (2017)
[5] Ebbinghaus, H.-D.: Ernst Zermelo. Springer, Berlin Heidelberg (2007) · Zbl 1176.01011
[6] Felgner, U.: Das Induktions-Prinzip. Jahresber Dtsch Math Ver 114, 23-45 (2012) · Zbl 1270.01013 · doi:10.1365/s13291-011-0032-9
[7] Finsler, P.: Formale beweise und die Entscheidbarkeit. Math Z XXV, 676-682 (1926) · JFM 52.0049.02 · doi:10.1007/BF01283861
[8] Kurt Grelling. Die Axiome der Arithmetik mit besonderer Berücksichtigung der Beziehungen zur Mengenlehre. Inauguraldissertation, Universität Göttingen, 1910. · JFM 41.0101.05
[9] Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatsh Math Phys 37(1), 349-360 (1930) · JFM 56.0046.04 · doi:10.1007/BF01696781
[10] Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatsh Math Phys 38, 173-198 (1931) · JFM 57.0054.02 · doi:10.1007/BF01700692
[11] Gödel, K.; Feferman, S. (ed.); etal., Vortrag über Vollständigkeit des Funktionenkalküls, No. III, 16-29 (1995), Oxford
[12] van Heijenoort, J.: From Frege to Gödel. Harward University Press, Cambridge (1967) · Zbl 0183.00601
[13] Hilbert, D., Ackermann, W.: Grundzüge der theoretischen Logik. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. XXVII. Springer, Berlin Heidelberg (1928) · JFM 54.0055.01
[14] Hilbert, D., Ackermann, W.: Grundzüge der theoretischen Logik, 2. Aufl. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. XXVII. Springer, Berlin Heidelberg (1938) · JFM 64.0026.05 · doi:10.1007/978-3-662-41928-1
[15] Kahle, R.: Die Gödelschen Unvollständigkeitssätze. Math Semesterber 54(1), 1-12 (2007) · Zbl 1116.03003 · doi:10.1007/s00591-006-0012-9
[16] Kaye, R.: Models of Peano Arithmetic. Oxford Logic Guides, Bd. 15. Oxford University Press, Oxford (1991) · Zbl 0744.03037
[17] Kennedy, H.C.: Peano. Life and works of Giuseppe Peano. Studies in the History of Modern Science, Bd. 4. Reidel, Dordrecht (1980) · Zbl 0429.01015
[18] Kreisel, G.: Kurt Gödel. Biogr Mem Fellows R Soc 26, 149-224 (1980) · doi:10.1098/rsbm.1980.0005
[19] Moore, GH; Aspray, W. (ed.); Kitcher, P. (ed.), The emergence of first-order logic, No. XI, 95-135 (1988), Minneapolis · Zbl 1366.03006
[20] Richard Dedekind: „Stetigkeit und Irrationale Zahlen“ (1872) und „Was sind und was sollen die Zahlen?” (1888). In: Müller-Stach, S. (Hrsg.) Klassische Texte in der Mathematik. Springer, Berlin Heidelberg (2017) · JFM 20.0049.05
[21] Peano, G.: Arithmetices Principia Novo Methodo Exposita. Bocca, Augustae Taurinorum (1889) · JFM 21.0051.02
[22] Peano, G.; Heijenoort, J. (ed.), The principles of arithematic, presented by a new method, 83-97 (1967), Cambridge
[23] Schiemer, G., Reck, E.H.: Logic in the 1930s: Type theory and model theory. Bull Symb Log 19(4), 433-472 (2013) · Zbl 1326.03006 · doi:10.1017/S1079898600010568
[24] Wilfried Sieg and Rebecca Morris. Dedekind’s structuralism: Creating concepts and deriving theorems. In Logic, Philosophy of Mathematics, and their History: Essays in Honor of W.W. Tait. forthcoming. · Zbl 1423.03037
[25] Skolem, T.: Über die Nicht-Charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. Fundam Math 23, 150-161 (1934) · Zbl 0010.04902
[26] Tapp, C.: An den Grenzen des Unendlichen. Mathematik im Kontext. Springer, Berlin Heidelberg (2013) · Zbl 1267.03005 · doi:10.1007/978-3-642-29654-3
[27] van Dalen, D., Ebbinghaus, H.-D.: Zermelo and the Skolem Paradox. Bull Symb Log 6(2), 145-161 (2000) · Zbl 0976.03002 · doi:10.2307/421203
[28] Waerden, BL, Geleitwort (1964), Braunschweig
[29] van der Waerden, B.L.: On the sources of my book Moderne Algebra. Hist Math 2, 31-40 (1975) · Zbl 0297.01014 · doi:10.1016/0315-0860(75)90034-8
[30] North Whitehead, A., Russell, B.: Principia Mathematica, 2. Aufl. Cambridge University Press, Cambridge (1927) · Zbl 0877.01042
[31] Yasugi, M., Passell, N.: Memoirs of a Proof Theorist. World Scientific, Singapore (2003). English translation of a collection of essays written by Gaisi Takeuti · doi:10.1142/5202
[32] Zermelo, E.: Sur les ensembles finis et le principe de l’induction complète. Acta Math 32, 185-193 (1909) · JFM 40.0098.03 · doi:10.1007/BF02403215
[33] Zermelo, E.; Castelnouvo, G. (ed.), Ueber die Grundlagen der Arithmetik, No. 2, 8-11 (1909), Roma · JFM 40.0098.05
[34] Zermelo, E.: Über Stufen der Quantifikation und die Logik des Unendlichen. Jahresber Dtsch Math 41, 85-88 (1932). 2. Abt. · JFM 58.0060.04
[35] Zermelo, E.: Set Theory, Miscellanea/Mengenlehre, Varia. Collected Works/Gesammelte Werke, Bd. I. Springer, Berlin Heidelberg (2010) · Zbl 1185.01054
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.