Hilberts Untersuchungen über die Grundlagen der Arithmetik

Author:

Bernays Paul

Publisher

Springer Berlin Heidelberg

Reference42 articles.

1. Jber. dtsch. Math.-Ver. Bd. 8 (1900); abgedruckt in Hilberts „Grundlagen der Geometrie“, 3.-7. Aufl., als Anhang VI.

2. Peano, G.: „Arithmetices principia nova methodo exposita“. (Torino 1889.) Die Einführung der rekursiven Definition ist hier nicht einwandfrei; es fehlt der Nachweis der Lösbarkeit der Rekursionsgleichungen. Ein solcher Nachweis war bereits von DENEKIND in seiner Schrift „Was sind und was sollen die Zahlen“ (Braunschweig 1887) erbracht worden. Beim Ausgehen von PEANOS Axiomen verfährt man zur Einführung der rekursiven Definition am besten so, daß man zunächst die Lösbarkeit der Rekursionsgleichungen für die Summe nach L. KALMÂR, durch einen Induktionsschluß nach dem Parameterargument, beweist, sodann mit Hilfe der Summe den Begriff „kleiner“ definiert und hernach für die allgemeine rekursive Definition die Dedekindsche Überlegung verwendet Man findet dieses Verfahren dargestellt in dem Lehrbuch von LANDAU: „Grundlagen der Analysis“ (Leipzig 1930). Hierbei wird allerdings der Funktionsbegriff benutzt. Will man diesen vermeiden, so muß man die Rekursionsgleichungen der Summe und des Produktes als Axiome einführen. Der Nachweis der allgemeinen Lösbarkeit von Rekursionsgleichungen ergibt sich dann nach einem Vérfahren von K. GöDEL (vgl. „Über formal unentscheidbare Sätze...“ [Mh. Math. Physik Bd. 38 Heft 1(1931)], sowie auch Hilbert-Bernays Grundlagen der Mathematik Bd. 1 (Berlin 1934) S. 412 u. folg.

3. Betreffs der Unabhängigkeit des Archimedischen Axioms von dem genannten Cantorschen Axiom vgl. P. HERTZ: „Sur les axiomes d’Archimède et de Cantor“. C. r. soc. de phys. et d’hist. natur. de Genève Bd. 51 Nr. 2 (1934).

4. Auf das Cantorsche Axiom hat neuerdings besonders R. BALDUS hingewiesen. Siehe dessen Abhandlungen „Zur Axiomatik der Geometrie“: „I. Über Hilberts Vollständigkeitsaxiom.“ Math. Ann. Bd. 100 (1928), „II. Vereinfachungen des Archimedischen und des Cantorschen Axioms.“ Atti Congr. Int. Math. Bologna Bd.4 (1928), „III. Über dasArchimedische und das Cantorsche Axiom.“ S.-B. Heidelberg. Akad. Wiss. Math.-nat. Kl. 1930 Heft 5, sowie die daran anknüpfende Abhandlung von A. SCHMIDT: „Die Stetigkeit in der absoluten Geometrie.“ S.-B. Heidelberg. Akad. Wiss. Math.-nat. KI. 1931 Heft 5.

5. Gehalten auf dem Internationalen MathematikerkongreB 1900 zu Paris, veröffentlicht in den Nachr. Ges. Wiss. Göttingen, Math.-phys. Kl. 1900, siehe auch diesen Band Abh. Nr. 17.

Cited by 15 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Hilbert’s Axiomatisches Denken;Axiomatic Thinking I;2022

2. Part III: The original writings;Sources and Studies in the History of Mathematics and Physical Sciences;2017

3. Gentzen’s Consistency Proof in Context;Gentzen's Centenary;2015

4. In the Shadow of Incompleteness: Hilbert and Gentzen;Epistemology versus Ontology;2012

5. Consistency, Models, and Soundness;Axiomathes;2010-08-11

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3