Les démons de Gödel : logique et folie

Les démons de Gödel Kurt 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 notes philosophiques médites. On connaissait déjà les excentricités de la vie de Gödel, qui, craignant d'être empoisonné, mourra quasiment d'inanition. Ses notes, décryptées et étudiées ici pour la première fois en français, révèlent une pensée encore plus surprenante. Elles montrent que Gödel croyait aux anges comme au diable - parmi bien d'autres étrangetés. Il tente au cours des années de constituer ces idées bizarres en système logiquement cohérent, dont l'analyse éclaire d'un jour nouveau ses découvertes mathématiques. Cette apparente « folie » d'un esprit génial pose de redoutables questions sur la nature même de la pensée logique. L'auteur de cet essai les aborde sans hésiter à y impliquer sa propre subjectivité, sous forme de courtes fictions fantasmées. Un livre aussi inquiétant que stimulant.