Argumento de Teorías Inseparables
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. El texto contiene asimismo un amplio análisis de los conceptos y resultados centrales de la Teoría de la Computabilidad clásica, por lo que puede utilizarse como referencia básica para impartir un curso sobre dicha materia. Muchos de estos conceptos y resultados fundamentales son entonces necesarios para obtener los teoremas de indecidibilidad para las teorías matemáticas que se consideran.0