Phase transitions for Gödel incompleteness

14.09.2023 13:30 - 14:20

A. Weiermann (Ghent U, BE)

In the first part we will survey several results regarding the provability/unprovability thresholds for natural assertions which are independent of the Peano axioms.

In the second part we will present some recent findings regarding the phase transition for Friedman's version of the Bolzano Weierstrass theorem. These findings answer a question by Harvey M. Friedman.




SR 10, 1. Stock, Koling. 14-16, 1090 Wien