Alonzo Church Dead

Invented the lambda calculus (1932–36) — function abstraction and application as a complete model of computation — and used it to prove the Entscheidungsproblem unsolvable months before Turing's machines.\n\nThe Church–Turing thesis is his and Turing's joint claim; every functional language and every `lambda` in every language descends from it.