Müller, Gert Heinz
In: Emeriti erinnern sich : Rückblicke auf die Lehre und Forschung in Heidelberg. Weinheim 2007, pp. 199-233
Preview |
PDF, German
Download (278kB) | Terms of use |
Citation of documents: Please do not cite the URL that is displayed in your browser location input, instead use the DOI, URN or the persistent URL 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
| Document type: | Book Section |
|---|---|
| Title of Book: | Emeriti erinnern sich : Rückblicke auf die Lehre und Forschung in Heidelberg |
| Place of Publication: | Weinheim |
| Date Deposited: | 29 Dec 2011 13:52 |
| Date: | 2007 |
| Page Range: | pp. 199-233 |
| Faculties / Institutes: | Service facilities > Universitätsbibliothek (UB) |
| DDC-classification: | 510 Mathematics |
| Controlled Keywords: | Zahlentheorie, Mathematische Logik, Grundlage |
| Uncontrolled Keywords: | Geschichte 1945-1994 |
| Collection: | Mathematics history in Heidelberg > Epochen > 20. Jahrhundert |
