estadounidense
George S. Boolos fue un filósofo y lógico estadounidense conocido por sus trabajos en la teoría de la verdad, la lógica y la filosofía de la matemática. Es relevante por su contribución a la comprensión de la relación entre la lógica y el lenguaje natural.
1974·no ficcion
Este texto aborda los fundamentos de la lógica matemática y la teoría de la computabilidad, cubriendo temas como las funciones recursivas, la lógica de primer orden, los teoremas de incompletitud y las complejidades de la demostración. Es conocido por su estilo didáctico y la claridad de sus explicaciones.
1975
Este libro examina la incompletud de la aritmética de Peano y la imposibilidad de probar su consistencia, ofreciendo un análisis profundo sobre los fundamentos de las matemáticas y la lógica.
1994
Este libro explora la intersección entre la computabilidad y la lógica, presentando temas fundamentales en teoría de conjuntos y fundamentos de la matemática, así como sus implicaciones filosóficas.
1998
Este libro explora temas fundamentales de la lógica, presentando una serie de ensayos que examinan sus aspectos filosóficos y matemáticos, así como sus aplicaciones en la teoría de conjuntos y la lógica modal.
Aparecen junto a George S. Boolos en búsquedas del archivo
