Lógica matemática
En Lógica matemática, a partir de la especificación de las características de los «lenguajes de primer orden» y de la definición de las nociones de «modelo» y «consecuencia» para las expresiones de esos lenguajes, se exponen de forma sucinta los resultados básicos de la lógica matemática, con particular atención a los teoremas de compacticidad, completitud e indecidibilidad, de los que se ofrecen diversas pruebas.
Autor
José Fernández-Prida
José F. Prida de Carlos (1934-2003), Doctor en Ciencias Matemáticas y Licenciado en Informática, fue Catedrático de Lógica en la Facultad de Filosofía de la Universidad Complutense entre los años 1986 y 2003, de cuyo Departamento de Lógica y Filosofía de la Ciencia fue Director entre los años 1990 y 2003. Tras ampliar estudios de Lógica en Bonn y Freiburg junto a Gisbert Hasenjaeger y Hans Hermes, orientó su investigación hacia el ámbito de la «Teoría de la Computabilidad», habiendo sido uno de los fundadores de la especialidad de Ciencias de la Computación de la Facultad de Matemáticas de la Universidad Complutense. Entre sus publicaciones, centradas en cuestiones relativas a la «Teoría de la recursión» y a los «Fundamentos de la matemática», cabe destacar Teorías inseparables (2004).
LIBROS RELACIONADOS
El libro de Gianni Valente, uno de los periodistas que más de cerca han tratado con ...(ver ficha)
La palabra "presupuesto" ...(ver ficha)