The Stephen Wolfram Podcast cover image

History of Science and Technology Q&A (September 22, 2021)

The Stephen Wolfram Podcast

00:00

Andan and the Decision Problem

Turing wanted to say, no, you can't decide it's true in a mechanical way. He produced this much more concrete version as a sort of a device for doing mathematics. Nobody knew at the time that those things were what our universe could do.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app