Описание книги
Математика и логика - прочное основание естественных наук, особенно тех, что оперируют сложными прогностическими моделями. Стивен Хокинг, при помощи уравнений описавший немало гипотетических вселенных, исследует важнейшие математические труды за последние 25 веков, в том числе работы Исаака Ньютона, Николая Лобачевского и Эвариста Галуа. Оригинальные, снабженные комментариями тексты позволяют проследить прогресс математической мысли, проложивший путь для нынешнего века технологий. Каждая глава начинается с биографического очерка ученого, написанного Стивеном Хокингом: он раскрывает ключевую идею автора и значение его труда.
Работы "О формально неразрешимых предложениях "Оснований математики"" Курта Гёделя и "О вычислимых числах и их применении к проблеме разрешимости" Алана Тьюринга публикуются на русском языке впервые.