In Our Time cover image

Logic

In Our Time

00:00

The Turing Machine

In the 1930s Alan Turing came up with a very simple model of what a computer might be called a Turing machine. He showed that it can do wonderful things, but there are some things that cannot be computed even in principle by such a machine. Later people looked at this and said, oh, here is a model for a universal computer. Here is a theory which can provide the basis for a lot of computer science.

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