
History of Science & Technology Q&A (October 1, 2025)
The Stephen Wolfram Podcast
00:00
Gödel's Encoding and the First Compiler
Stephen explains Gödel's general recursive functions and his encoding of metamathematics into arithmetic.
Transcript
Play full episode