Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
M. Baaz:
"Incompleteness and attempted proofs of consistency";
Hauptvortrag: International Workshop on Gödel´s Incompleteness Theorems,
Wuhan, China (online) (eingeladen);
16.08.2021
- 20.08.2021.
Kurzfassung englisch:
In this lecture we analyze the origins of the completeness and consistency problem and also the
technical background, why the Hilbert school was convinced that a positive solution is possible. We
describe attempted proofs of consistency of the Hilbert school (especially using epsilon calculus and
Herbrand´s theorem) and describe how they provide valuable information if seen from another point of view.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.