(1906-1978) Mathématicien et logicien autrichien et américain. Auteur du fameux théorème d’incomplétude, démontrant qu’il existe une infinité de vérités indécidables, indémontrables dans un système donné.