Kurt Gödel (1906-1978) fut l'un des plus grands logiciens de l'histoire. Son théorème d'incomplétude a bouleversé les fondements des mathématiques.Mais à travers ses notes, décryptées ici pour la première fois en français, se révèle un personnage très différent de l'image stéréotypée du mathématicien, rationnel et austère. On y découvre, par exemple, que Gödel croyait aux anges comme au diable et qu'il tenta au cours des années de constituer ces idées bizarres en un