Un siglo desde que la sustitución de Principia deslumbró a Haskell Curry. En honor del 80 aniversario de Jonathan Seldin

Título original:

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

Contenido del libro:

En 1922, Curry empezó a leer Principia Mathematica y quedó intrigado por las complicaciones de su regla de sustitución.

Como resultado de intentar analizar la sustitución, Curry concibió los combinadores en 1926. Esta colección está dedicada al 80 aniversario de Jonathan Seldin.

Seldin es el penúltimo estudiante de doctorado de Curry y el guardián del paradigma de Curry. La búsqueda a principios del siglo XX de sistemas potentes que combinen cómputos y deducciones (funciones y lógica) y que sean capaces de formalizar las matemáticas ha dado lugar al nacimiento del poderoso λ-cálculo de Church, la Lógica Combinatoria de Curry y la Teoría de Categorías de Eilenberg y Mac Lane, todos ellos bien representados en esta colección. La lucha por internalizar todo lo posible manteniendo la coherencia del sistema es evidente en la evolución del λ-cálculo y la lógica combinatoria, y puede percibirse de nuevo en los artículos de este volumen.

Del mismo modo, es evidente la lucha por conseguir teorías elegantes que reduzcan al mínimo el número de conceptos básicos al tiempo que se mantienen lo más cerca posible de la estructura del lenguaje. La generalización de conceptos, la conexión de áreas que pueden parecer alejadas y la aplicación de técnicas útiles de un área a otra también están bien representadas en este volumen, donde, por ejemplo, nociones como coherencia, confluencia, diagramas conmutativos, se extienden entre λ-cálculo, sistemas de reescritura y teoría de categorías, y donde se dan relaciones de incrustación que permiten el encuentro de un montón de disciplinas, desde la lógica a las matemáticas pasando por la informática.