Лекции по математике. Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
Автор:Босс В. Год: 2013 Издание:Либроком Страниц: [не указано] ISBN: 9785397034128 Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов,...
