Boss V.: Lecciones de Matemtica: Lgica, algoritmos, computabilidad: De Diofanto a Turing y Gdel
Скачать книгу (размер 1 095 Kb , формат fb2, страниц 216)
Жанр : Прочие
Издательство : Эдиториал УРСС
Год издания : 2011
Аннотация:
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.