Portail:Logique/Le saviez-vous?/Septembre

Quand Gödel présenta pour la première fois son fameux théorème d'incomplétude de l'arithmétique à un séminaire à Königsberg qui rassemblait le gratin des logiciens du moment, y compris Hilbert qui n'a pas assisté à l'exposé, personne ou presque n'en a mesuré la portée à tel point que le compte-rendu du séminaire n'en fait pas mention. Un seul participant a cependant immédiatement vu l'importance fondamentale de ce résultat, c'était John von Neumann.