12947

Автор(ов): 

1

Параметры публикации
Тип публикации: 
Книга (брошюра, монография, стандарт)
Название: 
Lecciones de Matematica. Tomo 6. Logica, algoritmos, computabilidad. De Diofanto y Godel
ISBN/ISSN: 
978-5-396-00069-8
Город: 
Moscow
Издательство: 
URSS
Год издания: 
2011
Объём, стр.: 
216
Аннотация
El presente libro se caracteriza por una exposición breve y clara de los temas tratados, valiéndose de analogías y sin entrar en detalles innecesarios. Se presta especial atención a la interrelación de los resultados y al enfoque general del material considerado. 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). Para estudiantes, profesores, ingenieros y científicos.
Библиографическая ссылка: 
Босс В. Lecciones de Matematica. Tomo 6. Logica, algoritmos, computabilidad. De Diofanto y Godel. Moscú: URSS, 2011. – 216 с.
Публикация имеет версию на другом языке: 
Да