006
The Man from the Future: The Visionary Life of John von Neumann
00:00
Gödel's Proof Checking
- Gödel created a system to check any proof using math by assigning numbers to statements and logical operations.
- This allows for the creation of a proof-checking machine.
Play episode from 33:38
Transcript
