Les Démons de Gödel

Kurt Gödel (1906-1978) fut sans doute l'un des plus grands logiciens de l'histoire. Son théorème d'incomplétude, publié en 1931, est peut-être la proposition mathématique la plus significative du XXème siècle. Il a bouleversé les fondements des mathématiques et fait l'objet de commentaires philosophiques sans fin et d'exploitations abusives sans nombre. Gödel ne publiera que peu pendant la cinquantaine d'années qui suivront. Mais il laissera des milliers de pages de notes philosophiques... Voir plus