Un satélite de cálculo lambda

Opiniones de los lectores

El libro ha sido elogiado por su extenso contenido sobre el cálculo lambda, con una sólida introducción, útiles galerías de fotos y resultados de vanguardia que inspiran futuras investigaciones. Sin embargo, algunos usuarios han tenido problemas con la calidad de impresión, y uno de ellos recibió una copia claramente pirateada.

⬤ Introducción extensa
⬤ buen contenido matemático
⬤ capítulos autocontenidos que resumen trabajos anteriores
⬤ resultados de vanguardia sobre el cálculo lambda
⬤ envío rápido
⬤ buena calidad de impresión (copias auténticas).

Algunas copias son de mala calidad de impresión, concretamente versiones piratas con impresión borrosa y papel de baja calidad.

(basado en 3 opiniones de lectores)

Título original:

A Lambda Calculus Satellite

Contenido del libro:

En 1936, la noción de computabilidad intuitiva se operacionalizó de dos maneras distintas: mediante máquinas de Turing y mediante lambda-cálculos. La diferencia consistía en manipular cuentas (bits) para el primer enfoque frente a manipular árboles (reescribir términos lambda) para el segundo. Ambas propuestas resultaron formalizar la misma noción de computabilidad y condujeron a la tesis de Church-Turing, según la cual la computabilidad intuitiva se capta de la forma correcta.

Esto dio lugar a la fundación de la programación imperativa y funcional. Las variantes del lambda-cálculo se utilizan en otro potente campo de aplicaciones: la comprobación de pruebas, base de la certificación de teoremas matemáticos y, por tanto, de productos industriales de alta tecnología. Estas dos áreas de investigación se siguen investigando activamente y hacen del lambda-cálculo una herramienta fundamental en las etapas actuales de la ciencia y de la revolución industrial.

En este libro, el cálculo lambda se considera desde otro ángulo: como un estudio de estas estructuras arborescentes, investigando la relación entre su forma y su acción. Esto es como estudiar los números cualitativamente, en lugar de por sus aplicaciones tratando cuantitativamente con objetos y fenómenos del mundo.

El libro de Barendregt The Lambda Calculus, its Syntax and Semantics' (1981/84), sí trata el tema desde el mismo punto de vista metodológico, e incluye varias conjeturas abiertas. En las más de cuatro décadas transcurridas, la mayoría de estas conjeturas -aunque no todas- han sido resueltas, a veces en ingeniosas tesis doctorales. Este "Satélite" al libro citado presenta estas soluciones en un estilo uniforme y añade otros temas de interés.