Müller, Gert Heinz
In: Emeriti erinnern sich : Rückblicke auf die Lehre und Forschung in Heidelberg. Weinheim 2007, S. 199-233
Vorschau |
PDF, Deutsch
Download (278kB) | Nutzungsbedingungen |
Zitieren von Dokumenten: Bitte verwenden Sie für Zitate nicht die URL in der Adresszeile Ihres Webbrowsers, sondern entweder die angegebene DOI, URN oder die persistente URL, deren langfristige Verfügbarkeit wir garantieren.
[mehr ...]
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
| Dokumententyp: | Buchbeitrag |
|---|---|
| Buchtitel: | Emeriti erinnern sich : Rückblicke auf die Lehre und Forschung in Heidelberg |
| Ort der Veröffentlichung: | Weinheim |
| Erstellungsdatum: | 29 Dez. 2011 13:52 |
| Erscheinungsjahr: | 2007 |
| Seitenbereich: | S. 199-233 |
| Institute/Einrichtungen: | Zentrale und Sonstige Einrichtungen > Universitätsbibliothek (UB) |
| DDC-Sachgruppe: | 510 Mathematik |
| Normierte Schlagwörter: | Zahlentheorie, Mathematische Logik, Grundlage |
| Freie Schlagwörter: | Geschichte 1945-1994 |
| Sammlung: | Heidelberger Texte zur Mathematikgeschichte > Epochen > 20. Jahrhundert |
