Un secol de când substituția din Principia l-a uimit pe Haskell Curry. În onoarea celei de-a 80-a aniversări a lui Jonathan Seldin

Titlul original:

A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary

Conținutul cărții:

În 1922, Curry a început să citească Principia Mathematica și a fost intrigat de complicațiile regulii sale de substituție.

Ca urmare a încercării de a analiza substituția, Curry a conceput combinatorii în 1926. Această colecție este dedicată celei de-a 80-a aniversări a lui Jonathan Seldin.

Seldin este penultimul doctorand al lui Curry și gardianul paradigmei lui Curry. Căutarea la începutul secolului al XX-lea a unor sisteme puternice care să combine calculele și deducțiile (funcții și logică) și care să poată formaliza matematica a dus la nașterea puternicului λ-calcul al lui Church, a logicii combinatorii a lui Curry și a teoriei categoriilor a lui Eilenberg și Mac Lane, toate fiind bine reprezentate în această colecție. Lupta pentru internalizarea a cât mai mult posibil, păstrând în același timp coerența sistemului, este clară în evoluția λ-calculului și a logicii combinatorii și poate fi simțită din nou în articolele din acest volum.

În mod similar, lupta pentru teorii elegante care minimizează numărul de concepte de bază, rămânând în același timp cât mai aproape posibil de structura limbajului, este clară. Generalizarea conceptelor, conectarea unor domenii care pot părea foarte îndepărtate și aplicarea unor tehnici utile dintr-un domeniu în altul sunt, de asemenea, bine reprezentate în acest volum, unde, de exemplu, noțiuni precum coerența, confluența, diagramele de comutare sunt extinse între λ-calcul, sistemele de rescriere și teoria categoriilor și unde sunt oferite relații de încorporare pentru a permite întâlnirea multor discipline, de la logică la matematică și la informatică.