TUForMath
Abstrakt
Wahrheit und Beweis sind grundlegende Begriffe in vielen Bereichen, besonders aber in der Mathematik. Dieser Vortrag soll die Entwicklung und Annäherung dieser Begriffe anhand einer Reise durch die Geschichte der Mathematik beschreiben. Diese Annäherung findet ihren krönenden Abschluss im Beweisbegriff von David Hilbert, der die Grundlage der axiomatischen Methode und damit aller modernen Mathematik ist. Gleichzeitig ermöglicht die Durchsetzung dieses Beweisbegriffes, die endgültige Grenze der Annäherung von Wahrheit und Beweis zu zeigen; sie folgt aus den Unvollständigkeitssätzen von Kurt Gödel.
