Un satélite de cálculo lambda

Opiniones de los lectores

En general, el libro es bien recibido por su contenido exhaustivo y su calidad, y destaca especialmente por su extensa introducción, las galerías de fotos y la información actualizada sobre el cálculo lambda. Sin embargo, existe preocupación por las ediciones falsificadas que presentan una calidad de impresión deficiente.

⬤ Gran contenido que incluye una extensa introducción y material matemático
⬤ resultados de vanguardia en cálculo lambda
⬤ manuscrito autocontenido
⬤ buena calidad de impresión y envío rápido en el caso de las ediciones auténticas.

Riesgo de adquirir copias piratas con impresión borrosa y papel de mala calidad; las ediciones originales son caras.

(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 mencionado presenta estas soluciones en un estilo uniforme y añade otros temas de interés.