
History of Science & Technology Q&A (October 1, 2025)
The Stephen Wolfram Podcast
00:00
Lambda Calculus and Equivalence of Models
Stephen describes Alonzo Church's lambda calculus and its equivalence to Turing machines.
Play episode from 31:35
Transcript


