Gödel's Incompleteness Theorem - Computerphile
from Computerphile Hosted by Computerphile
Gödel's Incompleteness Theorem explained with Pen, Paper & Lean (the proof assistant) Professor Thorsten Altenkirch is based at the University of Nottingham. Computerphile is supported by Jane Street. Learn more about them (and exciting career opportunities) at: https://jane-st.co/computerphileThis video was filmed and edited by Sean Riley.Computerphile is a sister project to Brady Haran's Numberphile. More at https://www.bradyharanblog.com
Embed this episode
No transcript yet.
Frequently asked questions
How long is this episode of Computerphile?
This episode is 24 minutes long.
When was this Computerphile episode published?
This episode was published on September 21, 2026.
Can I download this Computerphile episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.