Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта' вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Для студентов, преподавателей, инженеров и научных работников. Другие книги В.Босса на сайте: т.1 Анализ т.3 Линейная алгебра т.4 Вероятность, информация, статистика т.2 Дифференциальные уравнения
