Ove godine navršava se 70 godina od otkrića Gödelovih teorema nepotpunosti.
To su izuzetno značajni teoremi za matematičku logiku, odnosno
matematiku. Do tada nezamislivi zaključci i potpuno novi tip dokaza
izazvali su izuzetno veliku pažnju znanstvene javnosti i stvorili Gödelu
reputaciju vodećeg mislioca u tom području. Njemu je tada bilo 25
godina.