Босс В., Лекции по математике. Том 6: От Диофанта до Тьюринга.

2006, изд-во: КомКнига, город: Москва, стр. : 208 с., обложка: Мягкая издательская обложка, формат: Обычный, состояние: Отличное. Вес 230 г. . Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько