Sina Hazratpour: Towards a Lean4 Formalization of Gödel's Incompleteness Theorems in Arithmetic Universes
Time: Wed 2025-10-08 10.00 - 12.00
Location: Albano house 1, floor 3, Room U (Kovalevsky)
Participating: Sina Hazratpour
Abstract
TBA
Time: Wed 2025-10-08 10.00 - 12.00
Location: Albano house 1, floor 3, Room U (Kovalevsky)
Participating: Sina Hazratpour
TBA