Gödel's Incompleteness Theorem explained with Pen, Paper & Lean (the proof assistant) Professor Thorsten Altenkirch is based at the University of Nottingham.
Where to Watch Computerphile - 2025 • E31
Take Plex everywhere
Watch free anytime, anywhere, on almost any device.