Intuitionistische und Klassische Zahlentheorie
HA und PA
pp. 251-253
Abstract
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.
Pages: 251-253
DOI: 10.1007/978-3-642-29654-3_11
Full citation:
Tapp Christian (2013) Intuitionistische und Klassische Zahlentheorie: HA und PA, In: An den Grenzen des Endlichen, Dordrecht, Springer, 251–253.