2023-07-21 |
14:00-15:00 |
2023-07-21,14:00-15:00 | LR1 (A3-1 3F) |
07-21 Afternoon Math Lecture Room 1 (A3-1 3F)
|
Speaker |
Phase transitions for Gödel incompleteness We start with surveying phase transitions results regarding natural independent statements for fragments of arithmetic. Afterwards we will cover our recent findings regarding problems posed by Harvey M. Friedman.
|