Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
The Combinatory Programme, Erwin Engeler
- Lingua
- Pubblicato
- 2011
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.