Introducción a la lógica categórica de orden superior

En este volumen, Lambek y Scott concilian dos puntos de vista diferentes de los fundamentos de las matemáticas, a saber, la lógica matemática y la teoría de categorías. En la Parte I, muestran que los cálculos lambda tipados, una formulación de la lógica de orden superior, y las categorías cerradas cartesianas, son esencialmente lo mismo. La Parte II demuestra que otra formulación de la lógica de orden superior, las teorías de tipos (intuicionistas), está estrechamente relacionada con la teoría de topos. La Parte III está dedicada a las funciones recursivas. Se dan numerosas aplicaciones de la estrecha relación entre la lógica tradicional y el lenguaje algebraico de la teoría de categorías. Los autores han incluido una introducción a la teoría de categorías y desarrollan la lógica necesaria según se requiera, lo que hace que el libro sea esencialmente autónomo. Se proporcionan referencias históricas detalladas a lo largo de todo el libro, y cada sección concluye con un conjunto de ejercicios.

Autor: J. Lambek, P. J. Scott
Editorial: Cambridge University Press
Publicado: 25/03/1988
Páginas: 304
Tipo de encuadernación: Tapa blanda
Peso: 1.00lbs
Tamaño: 9.22h x 6.10w x 0.76d
ISBN13: 9780521356534
ISBN10: 0521356539
Categorías BISAC:
- Matemáticas | Lógica

Este título no es retornable