Teorías inseparables

Resumen del libro

José Fernández-Prida de Carlos (1934-2003), diplomado en Filosofía y en Historia Antigua y Medieval, licenciado en Informática y doctor en Ciencias Matemáticas, fue uno de los fundadores de la especialidad de Ciencias de la Computación en la Facultad de Matemáticas de la Universidad Complutense, en la que impartió diversos cursos de Lógica Matemática, Fundamentos de la Matemática y Teoría de la Computabilidad. Fruto de su contacto con H. Hermes orientó su investigación hacia el ámbito de la Teoría de la Computabilidad, área en la que publicó la mayor parte de sus trabajos, y en la que puede ser considerado uno de los iniciadores de su cultivo en España. Teorías inseparables constituye un estudio de diferentes teorías matemáticas indecidibles, como son las teorías de órdenes parciales, grafos, retículos, grupos y anillos, además de la aritmética y la teoría de conjuntos axiomática, en el que se demuestran resultados fuertes de indecidibilidad para tales teorías.