Aborda la lógica desde una perspectiva constructivista, similar a la de Kolmogorov, enfocándose en la validez de construcciones efectivas en lugar de verdades clásicas.
Introducción a la lógica matemática
por Andrey Kolmogorov · 1947
Ver sugerenciasSinopsis
Una introducción concisa pero profunda a la lógica matemática, cubriendo temas como la lógica proposicional, la lógica de predicados y los fundamentos de las matemáticas desde una perspectiva constructivista.
Sé el primero en valorar este libro.
Más de Andrey Kolmogorov
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Introduce conceptos fundamentales de lógica matemática, incluyendo lógica proposicional y de predicados, alineándose con el enfoque sistemático del libro de Kolmogorov.
Presenta lógica simbólica y metamatemática, manteniendo un rigor matemático comparable al enfoque estructurado de la lógica en la obra de Kolmogorov.
Explora el análisis matemático desde un enfoque constructivista, resonando con la perspectiva de Kolmogorov sobre la existencia demostrada mediante construcciones.
Aunque trata la topología, el texto de Kolmogorov también busca dar claridad sobre conceptos matemáticos fundamentales, lo que se refleja en esta introducción.
Investiga límites teóricos de lo computable y complejidad, conectándose con los fundamentos matemáticos que Kolmogorov examina en su tratamiento de la lógica.