Alonzo Church
mathematician · 1 mention across 1 reading
In this course
Church is foundational to the theoretical substrate of computation itself—his lambda calculus and the Church-Turing thesis established what can and cannot be computed, making him essential for understanding AI's mathematical boundaries and constraints. The readings invoke Church to push back against simplistic mechanism-versus-organism binaries in contemporary AI discourse, suggesting that the "mechanistic" label applied dismissively to systems like ChatGPT obscures deeper questions about what computation actually enables and limits.
Background
Alonzo Church was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Wikipedia →Mentioned in 1 reading
Appears alongside
People mentioned in the same passages — sorted by co-occurrence weight.