Kim był ten wspaniały matematyk, którego wielu uznaje za największego logika od czasów Arystotelesa? Kim był człowiek, który wstrząsnął podwalinami dwudziestowiecznej nauki, pod koniec życia zaś usiłował za pomocą praw logiki dowieść istnienia Boga? Jakie znaczenia ma dla nas dziś zasada niekompletności, jeden z najważniejszych wyników współczesnej logiki? Jakie ma konsekwencje w informatyce, logice, teorii złożoności?