26.1.09

128 - Boucle étrange

Peu de résultats issus des sciences « dures » trimbalent autant de fantasmes, autant d'interprétations erronées et autant de délires pseudo-scientifiques que ce bon vieux théorème d'incomplétude de Gödel. N'empêche que Gödel, Escher Bach est l'un de mes livres cultes. Ce pavé d'allure indigeste, paru en 1979 sous la plume de Douglas Hofstadter, est un exemple assez unique, à ma connaissance, de vulgarisation scientifique talentueuse et... ambitieuse.

Pourquoi unique ? Parce qu'il réussit la prouesse d'amener n'importe quel lecteur ayant un peu le goût de l'abstraction et... pas mal d'obstination (750 pages quand même), à se faire une idée assez juste et assez riche (me semble-t-il) du fameux théorème, au travers de tout un tas d'analogies et de transpositions littéraires, musicales et plastiques (d'où les Bach et Escher du titre).

30 ans plus tard, la traduction du dernier livre de Douglas Hofstadter parait en France sous le titre : Je suis une boucle étrange. Et ce livre, d'après son auteur, réaffirme et actualise la principale thèse de Gödel Escher Bach : que ce sont des boucles étranges (...) qui donnent naissance - et bien plus : qui constituent - la conscience et le Moi. Du coup, je me rends compte que j'avais mis de côté, dans ma mémoire, toute une partie du livre...

Gödel, Escher, Bach is a very personal attempt to say how it is that animate beings can come out of inanimate matter. What is a self, and how can a self come out of stuff that is as selfless as a stone or a puddle? What is an “I” and why are such things found (at least so far) only in association with, as poet Russell Edson once wonderfully phrased it, “teetering bulbs of dread and dream” — that is, only in association with certain kinds of gooey lumps encased in hard protective shells mounted atop mobile pedestals that roam the world on pairs of slightly fuzzy, jointed stilts? (1)

Je ne sais pas si vous vous reconnaissez dans la description ci-dessus ? Pour ma part, j'ai beau savoir que je suis un primate, un tétrapode et un sarcoptérygien, j'ignorais complètement que j'étais aussi une boucle étrange...

Commençons par la boucle tout court... C'est un bidule récursif. Un machin qui se construit ou se définit en se référant à lui même. Hofstadter donne toutes sortes d'exemples, depuis le feedback video jusqu'à la suite de Fibonacci, de phénomènes récursifs... Il y en a un que j'aime beaucoup et que Hofstadter ne cite pas, c'est le système d'exploitation « GNU ». GNU est l'acronyme pour Gnu is Not Unix.

Une boucle étrange, dans la terminologie Hofstadterienne, c'est une boucle qui « saute de niveau », qui passe d'un niveau de réalité à un autre, comme dans le fameux dessin d'Escher où on voit une main dessiner une seconde main qui elle-même dessine la première main... Ou comme dans le théorème de Gödel... Eh oui. Nous y voilà.

En très résumé, ce que Gödel a réussi à prouver en 1931, c'est que « tout système formel suffisament complexe comporte des propositions indécidables », c'est à dire qui ne sont ni démontrables ni réfutables. Gödel a découvert le moyen de transposer dans un formalisme mathématique précis une proposition auto-référente équivalente à : « Je ne suis pas démontrable ». Ensuite, de deux choses l'une : soit la proposition est démontrable à l'intérieur du système et on aboutit à une contradiction, qui met tout l'édifice par terre... Soit elle ne l'est pas, et on est bien obligé de reconnaître qu'elle est néanmoins vraie ! Pour réussir cet incroyable tour de passe-passe, Gödel a du traduire en nombres entiers des propositions portant sur les nombres entiers. Saut de niveau. Boucle étrange.

OK. Mais ca n'est pas fini, puisque le livre s'appelle Je suis une boucle étrange. Qu'est-ce que je viens faire là-dedans ?

Est-ce un hasard, se demande Hofstadter, si la seule façon simple d'exprimer la formule de Gödel passe par l'utilisation du pronom «je» (je ne suis pas démontrable) ? A partir de là, il établit un parallèle assez troublant entre ce phénomène de boucle étrange et le fonctionnement de l'esprit humain... L'idée, longuement développée dans le livre (mais pas ici !), est que ce qui se passe dans le cerveau est du même ordre que la construction de Gödel. Lorsque l'esprit devient suffisamment complexe pour s'auto-représenter, il peut sauter un (puis plusieurs) niveaux de réalité. Le je naît de la capacité de l'esprit humain à sauter de niveau à travers la construction de symboles. Je suis ce qui transforme le bricolage électro-chimique de mes neurones en toutes sortes de propositions, y compris en propositions qui (comme celle-ci) portent sur le bricolage électro-chimique de mes neurones.

L'idée est de sortir par le haut du vieux débat déterminisme / libre-arbitre : comment peut-il y avoir «je» dans un monde déterministe de particules et de champs électro-magnétiques ? Hofstadter refuse la position dualiste, qui postule qu'il faudrait ajouter quelquechose aux lois de la physique pour rendre compte de l'esprit humain, et il le fait sans tomber dans un réductionisme déprimant : ce quelque chose d'impalpable, cette substance immatérielle, qu'il appelle « élan vital », elle n'est pas nécessaire. La conscience, dit-il, n'est pas un toit-ouvrant ! Elle n'est pas une option rajoutée par dessus les structures du cerveau.

La conscience ne vient pas en option (...) : c'est le résultat émergent obligé du fait que le système dispose d'un répertoire de catégories suffisamment sophistiqué. Tout comme la boucle étrange de Gödel qui apparait automatiquement dans tout système formel de la théorie des nombres suffisamment puissant, la boucle étrange du soi émergera inéluctablement de tout répertoire de catégories suffisamment complexe : une fois qu'on a le soi, on a la conscience. Pas besoin d'élan mental. (2)

Et toc.

(1) Gödel, Escher, Bach : préface de l'édition de 1999
(2) Douglas Hofstadter : Je suis une boucle étrange, p.429

5.1.09

127 - Loi de Godwin

Vous avez forcément déjà entendu l'argument de reductio ad Hitlerum, et ça m'étonnerait un petit peu que vous ne l'ayez jamais employé vous-même. Je reconnais y avoir succombé sans doute pas mal de fois, du temps de ma tumultueuse jeunesse... Bref.

Vous connaissez la réduction par l'absurde, qui permet de démontrer la fausseté d'une proposition en en déduisant logiquement une proposition « manifestement fausse », c'est à dire contradictoire ? Non ? Alors relisez la phrase précédente, ça devrait être bon. La reductio ad Hitlerum en est une version bâclée. Dans le rôle de la contradiction, on met Hitler, et sur la déduction, on n'est pas trop regardant : vous prenez des mesures anti-tabac. Hitler a pris des mesures anti-tabac. Donc vous êtes un nazi.

C'est Leo Strauss soi-même qui a le premier identifié, nommé et démonté l'argument de reductio ad Hitlerum :
Unfortunately, it does not go without saying that in our examination we must avoid the fallacy that in the last decades has frequently been used as a substitute for the reductio ad absurdum: the reductio ad Hitlerum. A view is not refuted by the fact that it happens to have been shared by Hitler. [1]
Aussi fautif que soit l'argument, il faut reconnaître qu'il est bien tentant d'y recourir, dès lors qu'une certaine dose de testostérone est atteinte. Mike Godwin, avocat américain, et actuel membre de la Wikimedia Foundation, est l'heureux découvreur d'une loi qui généralise le phénomène, et qui s'énonce ainsi :
As a Usenet discussion grows longer, the probability of a comparison involving Nazis or Hitler approaches one. [2]
Alors évidemment, les pointilleux font remarquer que la loi de Godwin est une tautologie, dans la mesure où l'augmentation du volume d'une discussion quelle qu'elle soit fait mécaniquement augmenter la probabilité d'apparition de toutes les propositions possibles, et pas seulement de celles où apparaît Hitler... Mais ne pinaillons pas, d'autant que le corollaire paradoxal de Salaün, qui apparaissait dans une version précédente de l'article Wikipedia sur la loi de Godwin, menace la dite loi d'auto-réfutation :

Plus la connaissance d'une loi comportementale, telle celle de Godwin, se diffuse dans un réseau, plus la validité de celle-ci tend vers 0 du fait des changements comportementaux que sa connaissance engendre. [3]

A noter aussi qu'on peut étendre la loi de Godwin à d'autres lieux de débat, et remplacer Hitler par divers autres gros mots...

On peut juger que le libéralisme, dans les débats internes à la gauche - voire, dans l'espace politique français - fait office de loi godwin à la française, en ce sens que l'invocation du libéralisme tient lieu d'argument définitif, qui se suffit à lui même. Peut-être faut-il le regretter... [4]

Mais s'il y a un sujet où la loi de Godwin reste incontournable -et là ça devient moins drôle- c'est évidemment le Proche Orient. Et c'est dans ce contexte d'une brûlante actualité que je se suis tombé sur un petit texte de Mike Godwin, écrit en avril de cette année pour commémorer les 18 ans de la «loi» qui porte son nom :

When I saw the photographs from Abu Ghraib, for example, I understood instantly the connection between the humiliations inflicted there and the ones the Nazis imposed upon death camp inmates—but I am the one person in the world least able to draw attention to that valid comparison. (...) Our challenge as human beings is that we no longer can be passive about history—we have a moral obligation to do what we can to prevent such events from ever happening again. Key to that obligation is remembering, which is what Godwin's Law is all about. [5]


[1] Leo Strauss - Natural Right and History
[2] Mike Godwin - Nazis (was Re: Card's Article on Homosexuality
[3] version précédente de l'article Wikipedia sur la loi de Godwin
[4] Diner's room - "Libéralisme" et Loi de Godwin
[5] Mike Godwin @ Jewcy.com - I Seem To Be A Verb: 18 Years of Godwin's Law