Müller, Gert Heinz
, pp. 199-233.
![[img]](http://archiv.ub.uni-heidelberg.de/volltextserver/style/images/fileicons/application_pdf.png) |
PDF, German
Terms of use / Nutzungsbedingungen Download (272Kb) |
Citation of documents: Please do not cite the URL that is displayed in your browser location input, instead use the persistent URL or the URN below, as we can guarantee their long-time accessibility.
Abstract
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
| Item Type: | Book Section |
|---|---|
| Title of Book: | Emeriti erinnern sich : Rückblicke auf die Lehre und Forschung in Heidelberg |
| Place of Publication: | Weinheim |
| Date: | 2007 |
| Page Range: | pp. 199-233 |
| Faculties / Institutes: | Service facilities > Universitätsbibliothek (UB) |
| Subjects: | 510 Mathematics |
| Controlled Keywords: | Zahlentheorie, Mathematische Logik, Grundlage |
| Uncontrolled Keywords: | Geschichte 1945-1994 |
| Collection: | Mathematics history in Heidelberg > Epochen > 20. Jahrhundert |
