Die formalistische Grundlegung der Mathematik. (Q571215)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Die formalistische Grundlegung der Mathematik. |
scientific article; zbMATH DE number 2555079
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Die formalistische Grundlegung der Mathematik. |
scientific article; zbMATH DE number 2555079 |
Statements
Die formalistische Grundlegung der Mathematik. (English)
0 references
1931
0 references
Die Arbeit gibt eine gedrängte Übersicht über einen vom Verf. auf der Königsberger Tagung für Erkenntnislehre der exakten Wissenschaften (1930) gehaltenen Vortrag; sie umreißt die Grundgedanken der \textit{Hilbert}schen Beweistheorie und charakterisiert dann kurz den derzeitigen Stand der Bemühungen um die Lösung des zentralen Problems dieser Theorie: um den finit-kombinatorischen Beweis für die Widerspruchsfreiheit der Mathematik. Die Ergebnisse der Untersuchungen von \textit{K. Gödel} (vgl. die Literaturangaben am Schluß des folgenden Referats) sind in dem vorliegenden Aufsatz noch nicht berücksichtigt worden.
0 references
