Computerphile

Gödel's Incompleteness Theorem (2025x31)

:

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