Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Baaz, M. (2021). Incompleteness and attempted proofs of consistency. International Workshop on Gödel´s Incompleteness Theorems, Wuhan, China. http://hdl.handle.net/20.500.12708/123276
International Workshop on Gödel´s Incompleteness Theorems
-
Event date:
16-Aug-2021 - 20-Aug-2021
-
Event place:
Wuhan, China
-
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.
