Este repositorio contiene el trabajo de investigación titulado "Formalizando el Pensamiento: Historia de la Lógica y su Desarrollo Computacional" que realicé en 2024 para la asignatura Historia de las Matemáticas en la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid.
Se puede leer la última versión del trabajo aquí.
historia-logica/
├── historia-logica.pdf
├── trabajo/
│ ├── logica.tex
│ └── references.bib
└── README.md
El archivo principal es historia-logica.pdf, que contiene el texto completo del trabajo. La carpeta trabajo/ incluye el código fuente en LaTeX y la bibliografía utilizada.
El documento traza un recorrido histórico desde el surgimiento de la lógica en la filosofía clásica hasta su implementación en lenguajes de programación lógicos como Prolog. Se analizan las siguientes etapas de evolución lógica:
- La lógica aristotélica de silogismos
- El recorrido del silogismo hasta el siglo XVII
- El álgebra de conceptos de Leibniz
- La lógica algebraica de Boole
- La teoría de conjuntos de Cantor
- La paradoja de Russel
- El programa de Hilbert y la incompletitud de Gödel
- La máquina de Turing
- Aplicación en computación: la programación lógica
El último apartado, sobre el desarollo de Prolog, no está terminado. Estaría dedicado a dar una breve introducción al lenguaje Prolog y explicar su funcionamiento interno y cómo ejemplifica la implementación computacional de razonamientos lógicos.
Este último apartado conectaría el recorrido histórico con aplicaciones contemporáneas, terminando el documento.