Matematika i logika — prochnoe osnovanie estestvennych nauk, osobenno tech, chto operiruyut slozhnymi prognosticheskimi modelyami. Stiven CHoking, pri pomoshhi uravnenij opisavshij nemalo gipoteticheskich vselennych, issleduet vazhnejshie matematicheskie trudy za poslednie 25 vekov, v tom chisle raboty Isaaka N′yutona, Nikolaya Lobachevskogo i Evarista Galua. Original′nye, snabzhennye kommentariyami teksty pozvolyayut prosledit′ progress matematicheskoj mysli, prolozhivshij put′ dlya nyneshnego veka technologij. Kazhdaya glava nachinaetsya s biograficheskogo ocherka uchenogo, napisannogo Stivenom CHokingom: on raskryvaet klyuchevuyu ideyu avtora i znachenie ego truda. Raboty «O formal′no nerazreshimych predlozheniyach „Osnovanij matematiki“» Kurta Gyodelya i «O vychislimych chislach i ich primenenii k probleme razreshimosti» Alana T′yuringa publikuyutsya na russkom yazyke vpervye.