Sveriges mest populära poddar

Type Theory Forall

#18 Gödel's Incompleteness Theorems - Cody Roux

170 min • 19 maj 2022

In this episode Cody Roux talks about the Gödel's Incompleteness Theorems. We go through it’s underlying historical context, Hilbert’s Program, how it relates with Turing, Church, Von Neumann, Termination and more.

Links

Förekommer på
00:00 -00:00