|
|
Автор: В. Босс
Издательство: КомКнига
Год издания: 2006
isbn: 978-5-484-01204-6
Количество страниц: 212
Язык: русский
Формат: DJVU
Размер: 2.86 Мб
Каталожный номер: 45542
|
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек.
Ключевые теги: математика |
|