Босс Валерий

Книга раскрывает существо многих математических идей и явно представляет собой новый шаг в области популяризации науки. Неожиданно просто и коротко передается смысл...

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и...