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