Descripción
En 1936, la noción de computabilidad intuitiva se operacionalizó de dos maneras diferentes: a través de las máquinas de Turing y a través del cálculo lambda. 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 llevaron a la Tesis de Church-Turing, afirmando que la computabilidad intuitiva se captura de la manera correcta.
Esto resultó en la fundación de la programación imperativa y funcional. Las variantes del cálculo lambda se están utilizando en otro potente campo de aplicaciones, a saber, la verificación de pruebas, la base para certificar teoremas matemáticos y, por lo tanto, productos industriales de alta tecnología. Estas dos áreas de investigación aún se investigan activamente y hacen del cálculo lambda una herramienta importante 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 en forma de árbol, 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 que tratan cuantitativamente con objetos y fenómenos en el mundo.
El libro de Barendregt "The Lambda Calculus, its Syntax and Semantics" (1981/84) trata el tema desde el mismo punto de vista metodológico e incluye varias conjeturas abiertas. En las más de cuatro décadas que han transcurrido, la mayoría —pero no todas— de estas conjeturas se han resuelto, a veces en ingeniosas tesis doctorales. Este "Satélite" del libro antes mencionado presenta estas soluciones con un estilo uniforme y añade otros temas de interés.
Autor: Henk Barendregt, Giulio Manzonetto
Editorial: College Publications
Publicado: 05/10/2022
Páginas: 602
Tipo de encuadernación: Tapa blanda
Peso: 2.34lbs
Tamaño: 9.69h x 7.44w x 1.22d
ISBN13: 9781848904156
ISBN10: 1848904150
Categorías BISAC:
- Matemáticas | Lógica
- Filosofía | Lógica
Este título no es retornable