Computability by Logic
1974·filosofia
Este libro explora las bases lógicas de la computabilidad, presentando el cálculo de predicados y teoremas de incompletitud, y su relación con lo que puede ser computado.
GB
GB
George Boolos
estadounidense
George Boolos fue un filósofo y lógico estadounidense que contribuyó significativamente al estudio de la lógica y la filosofía de la matemática, especialmente en el área de la teoría de conjuntos. Es conocido por su trabajo sobre los fundamentos de la lógica y por ser coautor de un influyente libro de texto sobre lógica matemática.
Obras en el archivo
3 títulos
Computability and Logic
1974·filosofia
Un libro de texto que aborda la lógica de primer orden y la computabilidad, cubriendo temas como la incompletitud de Gödel y la teoría de la recursión, con un enfoque riguroso y didáctico.
Principios de demostración modal
1979·ensayo
Este libro explora la lógica modal para analizar y probar la consistencia e incompletitud de sistemas formales, particularmente en relación con los teoremas de Gödel.
Autores relacionados
Aparecen junto a George Boolos en búsquedas del archivo