Konferenzvortragsdetails

Konferenz: Axiomatic Thinking


Ein Rahmen für die Metamathematik

Vortrag von Prof. Dr. Lorenz Halbeisen
Datum: 14.09.17   Zeit: 14.00 - 15.00   Raum: Y16G05

Hilbert hatte mit seinem sogenannten Hilbertprogramm das Ziel, "Alles, was die reale Mathematik ausmacht, streng zu formalisieren, so dass die reale Mathematik zu einem Bestande an beweisbaren Formeln wird, deren Widerspruchsfreiheit mit einer Metamathematik bewiesen werden soll".

Im ersten Teil des Vortrags wird das Hilbertprogramm vorgestellt und der Grund für dessen Scheitern erklärt. In einem zweiten Teil werden dann die Rollen der realen und der formalen Mathematik verstauscht, und es wird gezeigt, wie die reale Mathematik als Metamathematik aufgefasst werden kann, mit deren Hilfe sich die formale Mathematik untersuchen lässt; zudem wird für diese Metamathematik ein Rahmen entworfen.