Lecciones de Matemtica: Lgica, algoritmos, computabilidad: De Diofanto a Turing y Gdel

El presente libro se caracteriza por una exposicin breve y clara de los temas tratados, valindose de analogas y sin entrar en detalles innecesarios. Se presta especial atencin a la interrelacin de los resultados y al enfoque general del material considerado. Este tomo est dedicado a los fundamentos de la matemtica, los problemas de la computabilidad y la deducibilidad. Entre los temas tratados podemos mencionar las mquinas de Turing, las funciones recursivas, la lgica, la teora de modelos, la indecidibilidad de la aritmtica y la imposibilidad de axiomatizarla, el dcimo problema de Hilbert. Los problemas clsicos relacionados con estos temas se han abordado desde un nuevo punto de vista, facilitando de este modo su comprensin (por ejemplo, los teoremas de Gdel se demuestran en unas pocas lneas). Para estudiantes, profesores, ingenieros y cientficos.