In Our Time cover image

Mathematics' Unintended Consequences

In Our Time

00:00

The Universal Machine

Turing was interested in the axioms of mathematics. He wanted a machine to mechanically verify whether or not a statement is true or false. As part of proving this, he invented the universal machine. It stores its own program internally - just like any other bit of data. One machine can mimic any other because you can feed in the program for any other.

Play episode from 38:42
Transcript

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