Sina Hazratpour: Towards a Lean4 Formalization of Gödel's Incompleteness Theorems in Arithmetic Universes

Tid: On 2025-10-08 kl 10.00 - 12.00

Plats: Albano house 1, floor 3, Room U (Kovalevsky)

Medverkande: Sina Hazratpour

Exportera till kalender