Gödel's Incompleteness Theorem - Computerphile
Video19 minKlas 4 t/m 5Gemiddeld
Bron: YouTube · Niet-commercieel embed via de officiële speler.
Gödel's Incompleteness Theorem - Computerphile, 19 min
Waar gaat dit over?
Uitleg over Gödel's onvolledigheidstheorema met pen, papier en Lean.
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
ProgrammaComputerphile
Leerlijnexact wiskunde & techniek
Vergelijkbare video's
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
5 min
Path Planning for Robotics - Computerphile
30 min
Network Basics - Transport Layer and User Datagram Protocol Explained - Computerphile
15 min
What is Bootstrapping Anyway? - Computerphile
21 min
Way Bigger Than Graham's Number (Goodstein Sequence) - Numberphile
17 min
Shor's Algorithm for Quantum Computing - Computerphile
39 min