In proving his result about the halting problem, Turing had to define what a computer was; he devised what is now called a universal Turing machine, which is the concept of a general-purpose computer.

factualpending

Speaker

Tim Palmer

Evidence Quote

he had to Define what a computer was...he kind of devised what's now called a universal turing machine which is really what we now call a general purpose computer

Source

Chaos theory and geometry: can they predict our world? – with Tim PalmerThe Royal Institution
Created: 8/10/2026, 11:02:02 PM

My Notes

Loading notes...