The Eric Normand Podcast cover image

Computer Science as Empirical Inquiry: Symbols and Search

The Eric Normand Podcast

00:00

Symbol Manipulation in Computers

A touring machine consists of two memories, an unbounded tape and a finite state control. The reed operation is not a data operation, but provides conditional branching to a control state as a function of the data under the reed head. In none of these systems is there on the surface a concept of the symbol as something that designates a caso. This is another step in mechanizing thought, mechanizing decisions, mechanizing all this stuff. It's now all about zeros and ones on this tape.

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