Talks and Poster Presentations (without Proceedings-Entry):
M. Baaz:
"Incompleteness and attempted proofs of consistency";
Keynote Lecture: International Workshop on Gödelīs Incompleteness Theorems,
Wuhan, China (online) (invited);
2021-08-16
- 2021-08-20.
English abstract:
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.
Created from the Publication Database of the Vienna University of Technology.