KURT GÖDEL, janvier 1978
Logicien et mathématicien austro-américain, son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que 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. Cette proposition est qualifiée d'indécidable. A la fin de sa vie il sombre dans la paranoïa, se convainc de l'existence d'un complot visant à l'empoisonner et cesse de s'alimenter. Quand on le retrouva mort, il ne pesait plus que 30 kilos.
Date de cette photo: 12 septembre 2016
Publié par: jenormeg