Lecciones de matematica: Тomo 6: Logica, algoritmos, computabilidad: De Diofanto a Turing у Godel
Автор:Босс В. Год: 2011 Издание: Страниц: 216 ISBN: 9785396000698 El presente libro se caracteriza por una exposici6n breve у clara de los temas trata-dos, valiendose de analogies у sin entrar en detalles innecesarios. Se presta especial atencion a la interrelation de los resultados у al enfoque general del material considerado. Este tomo esta dedicado a los fundamentos de la matematica, los problemas de la computabilidad у la deducibilidad. Entre los temas tratados podemos mencionar las maquinas de Turing, las funciones recursivas, la 16gica, la teoria de modelos, la indecidibi-lidad de la aritmetica у la imposibilidad de axiomatizarla, el decimo problema de Hilbert. Los problemas clasicos relacionados con estos temas se nan abordado desde un nuevo punto de vista, facilitando de este modo su comprension (por ejemplo, los teoremas de Godel se demuestran en unas pocas lineas).
