Matematika i logika — pročnoe osnovanie estestvennych nauk, osobenno tech, čto operirujut složnymi prognostičeskimi modeljami. Stiven CHoking, pri pomočši uravnenij opisavšij nemalo gipotetičeskich vselennych, issleduet važnejšie matematičeskie trudy za poslednie 25 vekov, v tom čisle raboty Isaaka N′jutona, Nikolaja Lobačevskogo i Ėvarista Galua. Original′nye, snabžennye kommentarijami teksty pozvoljajut prosledit′ progress matematičeskoj mysli, proloživšij put′ dlja nynešnego veka technologij. Každaja glava načinaetsja s biografičeskogo očerka učenogo, napisannogo Stivenom CHokingom: on raskryvaet ključevuju ideju avtora i značenie ego truda. Raboty «O formal′no nerazrešimych predloženijach „Osnovanij matematiki“» Kurta Gëdelja i «O vyčislimych čislach i ich primenenii k probleme razrešimosti» Alana T′juringa publikujutsja na russkom jazyke vpervye.