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

Peut-on être génial sans être “fouˮ, avec beaucoup de guillemets comme insiste l'auteur. le concept de folie n'est pas déposé au Pavillon des poids et mesure … On connait généralement Gödel pour ses deux célèbres théorèmes sur l'incomplétude des axiomes de l'arithmétique et l'indécidabilité, on connait moins les positions philosophiques du logicien. En examinant ses papiers déposés au MIT, l'auteur nous entraine dans les pensées de G, ses méandres, ses apories, ses contradictions, ses hésitations, ses délires. Généralement, sans porter de jugements de valeur, il essaie de suivre le cheminement, la “logiqueˮ de ses positions philosophiques et métaphysiques. On croise au passage ses contemporains, Carnap, Church, Turing et des plus anciens avec Leibnitz, charmante compagnie. Dans le droit fil du “Cercle de Vienneˮ, G essaie d'étendre les conséquences de la non complétude au fonctionnement du cerveau humain, aux limites de la connaissance, au caractère calculatoire (machine de Turing) du cerveau, de l'esprit… Passionnant et intrigant, depuis les neurobiologistes ont apporté des éléments de réponses que n'avait pas G. On pourra s'intéresser aux anges, démons et autres camarades de jeu de G, sans doute avec moins d'intérêt ! Sa croyance aux voyages dans le passé reste plus motivante à lire, on trouvera, en liaison avec ce sujet, dans la littérature ses solutions aux équations d'Albert, son voisin de Princeton. Leurs éventuelles discussions ne sont pas abordées dans le livre (ce n'est pas le sujet), dommage ! G avait peur de beaucoup de choses, de la folie et aussi de se faire empoisonner, ce qui l'a conduit à mourir d'inanition… Peut être un petit grain ! D'autres logiciens ont mal fini : Post, Turing, notamment. La logique conduit-elle logiquement au suicide ? Et le génie ? Cette question est surement également indécidable, pas au sens de Gödel, mais cela n'en reste pas moins une …