Kurt Gödel et théorèmes d'incomplétude

Le mathématicien et logicien austro-américaine Kurt Gödel est né le 28 avril 1906.
Il est célèbre pour son théorème d'incomplétude de Gödel, selon lequel n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie.
Il est considéré comme l'un des plus grands mathématiciens, et même l'un des plus grands scientifiques du XXème siècle. Cependant, à la fin de sa vie, il sombra dans la folie : convaincu de l'existence d'un complot visant à l'empoisonner, il cessa de s'alimenter.
Pour en savoir plus sur Gödel, sa vie, son oeuvre et son théorème d'incomplétude, on pourra se reporter aux livres "Les démons de Gödel : Logique et folie" et "Le Théorème de Gödel".