%0 Generic
%A Müller, Gert Heinz
%C Weinheim
%D 2007
%F heidok:12970
%K Geschichte 1945-1994
%P 199-233
%R 10.11588/heidok.00012970
%T Grundlagen der Zahlentheorie und Analysis
%U https://archiv.ub.uni-heidelberg.de/volltextserver/12970/
%X Inhalt:       - Gert H. Müller - Grundlagen der Zahlentheorie und Analysis vom deduktiven Gesichtspunkt - - Vorbemerkung - - Die Formalisierung der Mathematik und Logik - - Der klassische Ansatz - - Ein fundamentales Ergebnis der Beweistheorie - - Intuitionismus - - Zurück zur klassischen Auffassung der Mathematik