Repository | Book | Chapter
(2013) An den Grenzen des Endlichen, Dordrecht, Springer.
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
DOI: 10.1007/978-3-642-29654-3_11
Full citation:
Tapp, C. (2013). Intuitionistische und Klassische Zahlentheorie: HA und PA, in An den Grenzen des Endlichen, Dordrecht, Springer, pp. 251-253.
This document is unfortunately not available for download at the moment.