Abstract
V letošním roce uplynulo 90 let ode dne, kdy se v Brně narodil geniální německý logik a matematik Kurt Gödel; člověk, který způsobil v moderní matematické logice převrat hlubší než byl ten, k jakému došlo v moderní fyzice díky lidem jako byli Einstein, Heisenberg a Bohr. Během svého života, stráveného z větší části nejprve ve Vídni a potom v Princetonu v USA, publikoval celou řadu prací, které měly pro matematickou logiku zcela zásadní význam; oním skutečným mezníkem, který mu zajistil trvalé místo nejen v Pantheonu logiků a matematiků, ale i mezi velikány lidského myšlení vůbec, však byl jeho důkaz “neúplnosti formální aritmetiky”.