Bookbot

The Combinatory Programme

Paramètres

Pages
156pages
Temps de lecture
6heures

En savoir plus sur le livre

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.

Achat du livre

The Combinatory Programme, Erwin Engeler

Langue
Année de publication
2011
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer