Gödel's Incompleteness Theorem - Computerphile
Computerphile
•
August 5, 2025
About
No channel description available.
Latest Posts
Video Description
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/computerphile This video was filmed and edited by Sean Riley. Computerphile is a sister project to Brady Haran's Numberphile. More at https://www.bradyharanblog.com
You May Also Like
Master Logic with These Tools
AI-recommended products based on this video
Loading...
10.1 Inch Touch Portable Monitor IPS Screen 1366x768P 60Hz 400 Brightness 99% sRGB HDMI USB-C Monitors Switch for Xbox PS3/4/5 Laptop Compatible with Raspberry Pi, Mini Touch Screen
(1)
$99.99
FREE delivery Mon, Aug 11
Loading...
Amazon Basics Low-Odor Chisel Tip Dry Erase Office and Home Whiteboard Marker, Pack of 12, Assorted Colors
(31,569)
$4.49
FREE delivery Mon, Sep 15 on your first order
5K+ bought in past month
Loading...
The Art of Home: A Designer Guide to Creating an Elevated Yet Approachable Home, Hardcover
(2,973)
$46.84$34.48
FREE delivery Mon, Jan 26
Loading...
The Art of Spending Money: Simple Choices for a Richer Life
(1,313)
$23.99
FREE delivery Fri, Dec 5 on your first order
Loading...
Metroid Prime 1–3: A Visual Retrospective: The Official Art and Making of Metroid Prime 1–3
(12)
$48.94
FREE delivery Sun, Nov 9
Loading...
Large Labyrinth 3D Puzzles Maze Cube with Rolling Ball, Challenging Brain Teaser Puzzles for Adults & Kids, High-Difficulty Cube Logic Game for Spatial Awareness Focus Training Stress Relief (Blue)
(3)
$16.99
$5.99 delivery Dec 19 - 29
400+ bought in past month