Intuitionistische und Klassische Zahlentheorie

HA und PA

pp. 251-253

in: Christian Tapp, An den Grenzen des Endlichen, Berlin, Springer, 2013

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.