Computerphile

Gödel's Incompleteness Theorem (2025x31)

Fecha de emisión: Ago 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.