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. Moscow: URSS, 2011. – 216 с.

Публикация имеет версию на другом языке: 

Да

Связь с публикацией: