Les démons de GödelKurt Gödel (1906-1978) fut l'un des plus grands logiciens de l'histoire. Son théorème d'incomplétude, publie en 1931, est peut-être la proposition mathématique la plus significative du XXe siècle. Il a bouleverse 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 not