The Combinatory Programme

The book explores the evolution of combinatory logic, initially a foundational project in mathematics, and its transformation within the realm of computer science. It highlights the collaborative efforts of gifted students who contributed to the mathematical foundations of algorithms under the guidance of Erwin Engeler. The narrative includes historical insights, particularly focusing on H. B. Curry's formalist approach in the late 1920s, which aimed to resolve foundational issues in mathematics through combinatory logic.