Математика и логика - прочное основание естественных наук, особенно тех, что оперируют сложными прогностическими моделями. Стивен Хокинг, при помощи уравнений описавший немало гипотетических вселенных, исследует важнейшие математические труды за последние 25 веков, в том числе работы Исаака Ньютона, Николая Лобачевского и Эвариста Галуа. Оригинальные, снабженные комментариями тексты позволяют проследить прогресс математической мысли, проложивший путь для нынешнего века технологий. Каждая глава начинается с биографического очерка ученого, написанного Стивеном Хокингом: он раскрывает ключевую идею автора и значение его труда.Работы "О формально неразрешимых предложениях "Оснований математики" Курта Гёделя и "О вычислимых числах и их применении к проблеме разрешимости" Алана Тьюринга публикуются на русском языке впервые.
Matematika i logika - prochnoe osnovanie estestvennykh nauk, osobenno tekh, chto operirujut slozhnymi prognosticheskimi modeljami. Stiven Khoking, pri pomoschi uravnenij opisavshij nemalo gipoteticheskikh vselennykh, issleduet vazhnejshie matematicheskie trudy za poslednie 25 vekov, v tom chisle raboty Isaaka Njutona, Nikolaja Lobachevskogo i Evarista Galua. Originalnye, snabzhennye kommentarijami teksty pozvoljajut prosledit progress matematicheskoj mysli, prolozhivshij put dlja nyneshnego veka tekhnologij. Kazhdaja glava nachinaetsja s biograficheskogo ocherka uchenogo, napisannogo Stivenom Khokingom: on raskryvaet kljuchevuju ideju avtora i znachenie ego truda.Raboty "O formalno nerazreshimykh predlozhenijakh "Osnovanij matematiki" Kurta Gjodelja i "O vychislimykh chislakh i ikh primenenii k probleme razreshimosti" Alana Tjuringa publikujutsja na russkom jazyke vpervye.
