Артикул: p6332700
20 раз
купили
Пока этой книги нет, получите
скидку 10% на любую другую книгу в наличии
По промокоду
BOOK24-O17D6Характеристики
- Издательство: Либроком
- Год издания:2015
- Жанр: Математические науки
- ISBN:978-5-397-04993-1
- Переплет: Мягкий переплёт
- Формат: 145x215 мм
- Вес: 259 г
Описание
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. .