Get the latest tech news
Alonzo Church: Architect of computer intelligence
The man who gave us the solution to the Entscheidungsproblem
In addition to λ-calculus, Church made important contributions to other areas of logic and philosophy, such as his work on the Entscheidungsproblem, a decision problem posed by David Hilbert in 1928 that asked whether there exists a definitive algorithm to determine the truth of any mathematical statement. The symmetry of Church's mentorship and Turing's later achievements creates a hidden but potent partnership, an invisible bridge that helped carry humanity from mechanical calculation to computational intelligence. This amazing span of seventy-two years embraces a remarkable collection of publications on a wide range of topics in logic and in adjacent parts of philosophy, mathematics, and computer science.”
Or read this on Hacker News