Notes on Thinking Machine Imaginaries_ Llull
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.