Un secolo da quando la sostituzione di Principia ha abbagliato Haskell Curry. In onore dell'80° anniversario di Jonathan Seldin

Titolo originale:

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

Contenuto del libro:

Nel 1922, Curry iniziò a leggere i Principia Mathematica e fu incuriosito dalle complicazioni della regola di sostituzione.

Cercando di analizzare la sostituzione, Curry concepì i combinatori nel 1926. Questa raccolta è dedicata all'80° anniversario di Jonathan Seldin.

Seldin è il penultimo dottorando di Curry e il custode del paradigma di Curry. La ricerca, all'inizio del XX secolo, di sistemi potenti che combinassero calcoli e deduzioni (funzioni e logica) e che fossero in grado di formalizzare la matematica ha portato alla nascita del potente λ-calculus di Church, della logica combinatoria di Curry e della teoria delle categorie di Eilenberg e Mac Lane, tutti ben rappresentati in questa raccolta. La lotta per interiorizzare il più possibile, pur mantenendo la coerenza del sistema, è evidente nell'evoluzione del λ-calculus e della logica combinatoria e si può percepire nuovamente negli articoli di questo volume.

Allo stesso modo, è evidente la lotta per ottenere teorie eleganti che riducano al minimo il numero di concetti di base, pur rimanendo il più possibile fedeli alla struttura del linguaggio. Anche la generalizzazione dei concetti, la connessione di aree che possono sembrare distanti e l'applicazione di tecniche utili da un'area all'altra sono ben rappresentate in questo volume, dove ad esempio nozioni come coerenza, confluenza, diagrammi di commutazione, sono estese tra il λ-calculus, i sistemi di riscrittura e la teoria delle categorie, e dove vengono fornite relazioni di embedding che permettono l'incontro di molte discipline, dalla logica alla matematica all'informatica.