← People

Alan Turing

mathematician · 7 mentions across 5 readings

In this course

Turing is foundational to the course's preoccupation with computation and machine intelligence—his formalization of the algorithm and the Turing machine establish the theoretical bedrock for thinking about what machines can do and, implicitly, what they cannot. The course readings invoke his conceptual apparatus to probe whether contemporary AI genuinely instantiates substrate-independent computation or whether functionalist accounts of machine cognition rely on unstated philosophical assumptions that collapse under scrutiny. His work haunts the seminar's central question: if Turing machines can execute any computable function, what gap remains between computation and thought, between algorithm and meaning?

Background

Alan Mathison Turing was an English mathematician, computer scientist, logician, cryptanalyst, philosopher and theoretical biologist. He was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. Turing is widely considered to be the father of theoretical computer science.

Wikipedia →

Mentioned in 5 readings

Appears alongside

People mentioned in the same passages — sorted by co-occurrence weight.

Pandaemonium Architecture 6.0 — ATEK-639/439 — Fall 2026 · QR code