Repository | Series | Buch | Kapitel
Intuitionistische und Klassische Zahlentheorie
HA und PA
pp. 251-253
Abstrakt
Das Jahr 1932 markiert einen wichtigen Durchbruch bei der Verfolgung des Hilbertprogramms. Kurt Gödel und Gerhard Gentzen gelang es unabhängig voneinander, ein unerwartetes Resultat zu erzielen. Sie konnten zeigen, daß die intuitionistische und die klassische Zahlentheorie in bestimmter Hinsicht gleichstark sind.
Publication details
Published in:
Tapp Christian (2013) An den Grenzen des Endlichen: das Hilbertprogramm im Kontext von Formalismus und Finitismus. Dordrecht, Springer.
Seiten: 251-253
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-3-642-29654-3_11
Referenz:
Tapp Christian (2013) Intuitionistische und Klassische Zahlentheorie: HA und PA, In: An den Grenzen des Endlichen, Dordrecht, Springer, 251–253.