Sinposis

Este tomo está dedicado a los fundamentos de la matemática, los problemas de la computabilidad y la deducibilidad. Entre los temas tratados podemos mencionar las máquinas de Turing, las funciones recursivas, la lógica, la teoría de modelos, la indecidibilidad de la aritmética y la imposibilidad de axiomatizarla, el décimo problema de Hilbert. Los problemas clásicos relacionados con estos temas se han abordado desde un nuevo punto de vista, facilitando de este modo su comprensión (por ejemplo, los teoremas de Gödel se demuestran en unas pocas líneas)