Computerphile

Gödel's Incompleteness Theorem (2025x31)

Air date: Aug 05, 2025

Gödel's Incompleteness Theorem explained with Pen, Paper & Lean (the proof assistant) Professor Thorsten Altenkirch is based at the University of Nottingham.