W pierwszym trzydziestoleciu ubiegłego wieku dwóch wybitnych logików wstrząsnęło filarami imponującego gmachu matematyki, wznoszonego przez kolejne pokolenia od czasów Euklidesa. Dla niektórych prace Bertranda Russella i Kurta Gödla oznaczały klęskę rozumu, dla innych przeciwnie: prace te stały się impulsem do wprowadzenia logiki na nowe i fascynujące obszary informatyki i niepewności.