Douglas Hofstadter, fils de Prix Nobel et physicien lui-même, a « juste » décroché le Pulitzer pour ce pavé de 800 pages. Le feuilleter mène à la découverte de quelques équations peu communes (chimiques ou plus souvent de système formel) ; par contre il y a des images (des gravures d’Escher) pour alléger quelques pages. Ce n’est pas un livre pour se délasser les neurones avant de dormir le soir (sauf pour des gens un peu bizarres comme moi).
Les personnes dépourvues d’un (gros) minimum d’esprit logique et mathématique et/ou de curiosité intellectuelle peuvent passer leur chemin. Les autres découvriront quelques-uns des principes fondamentaux qui gouvernent le monde, de l’abstraction aride des systèmes formels à l’ADN et à l’intelligence artificielle, de Bach le compositeur à Escher le dessinateur et à Gödel le logicien, tous liés d’une manière assez inattendue.
Chaque chapitre est précédé d’un dialogue entre Achille, la Tortue, un Crabe et quelques autres. Les concepts et les figures de style s’inspirent des concepts développés par la suite (autoréférence, canons musicaux...). L’exercice est parfois plaisant (les Canons cancrizans !), parfois un peu inutile. Ces dialogues sont truffés de références, acrostiches, exercices de style pas tous évidents à la première lecture.
Les systèmes formels occupent le début du livre. Ce qui semble un jeu typographique totalement vain (les systèmes pg
ou MIU
ou la TNT
) devient, après pas mal de dizaines de pages, un peu plus clair. Ils ne sont ni plus ni moins qu’une formalisation à l’extrême du raisonnement mathématique. Les premiers ne sont que des « jouets » pédagogiques, mais la TNT permet de rebâtir toute la théorie des nombres. Surtout, les théorèmes décrits par ces systèmes peuvent eux-mêmes devenir des sujets de ces théorèmes.
Via cette autoréférence et les paradoxes qu’elle engendre, Kurt Gödel a démontré dans les années 30, à l’horreur de ses contemporains, qu’un système assez puissant pour être intéressant ne peut pas démontrer tous les théorèmes qu’il peut exprimer. Hofstadter explique la manière dont Gödel a créé ce fameux théorème indécidable : le passage est aride (l’« arithmoquinification » vous connaissez ?).
Les systèmes formels étant un simple jeu typographique, leur donner une signification est affaire de convention, mais ne se fait pas n’importe comment. Hofstadter s’étend sur les niveaux de signification successifs, voire infinis, que l’on peut leur donner. Cette connaissance peut être transposée aux langages informatiques, qui existent en plusieurs niveaux. Le choix d’un niveau de lecture n’est pas forcément une chose simple...
Suivent également quelques « applications » de ce qui paraissait un exercice un peu vain pour logiciens en tour d’ivoire. L’ADN est un exemple concret, universel et fascinant : à la fois le produit et la source, le code et les données. Le phénotype d’un être humain ne peut se comprendre en descendant au niveau moléculaire mais à un autre : sites des protéines, protéines, organes...
Autre exemple, l’intelligence humaine : les neurones sont des systèmes simplissimes (ils s’excitent ou ne s’excitent pas, c’est tout) mais les capacités d’un cerveau humain ne peuvent s’apprécier à ce niveau, il faut monter plusieurs niveaux quasiment indépendants les uns des autres, de même qu’un logiciel actuel ne peut se comprendre réellement si on en reste au niveau des bits qui passent dans le bus.
Récursion, identité, géométrie euclidienne ou non, les différents types de consistance d’un système, les koans zens, le réductionnisme, le holisme, l’intelligence collective d’une fourmilière, le substrat de l’intelligence, le Moi et sa nécessité pour aboutir à l’Intelligence Artificielle, la conscience, la diagonale de Cantor, les caméras qui filment la télé auxquelles elles sont branchées... sont d’autres concepts traités plus ou moins profondément.
Quel lien avec Bach et Escher demandera-t-on ? Les œuvres de Bach sont également bâties sur l’autoréférence (les canons notamment), et l’enchevêtrement de mêmes thèmes. Ceux qui connaissent les gravures d’Escher connaissent par contre les jeux de paradoxes qu’il adorait, où se mélangent les niveaux de signification. Les implications logiques et philosophiques sont plus profondes qu’il n’y paraît...
Le livre aurait-il mérité quelques coupures ? Sans doute. Mais Hofstadter suppose manifestement que le lecteur a le temps et la volonté d’absorber le vocabulaire que, comme tout bon mathématicien, il définit préalablement pour son propos avant de développer. Il tient à faire partager son émerveillement de l’imbrication logique de phénomènes a priori totalement séparés.
Sont plaisants quelques passages, à commencer par la préface, où l’auteur fait comprendre que la version française (qui a nécessité plus qu’une bête traduction !) est au moins aussi bonne que l’originale américaine. L’autoréférence joue à plein quand il décrit comment il a conçu le dialogue des Canons cancrizants. Plus drôle est le paragraphe où il pronostique (en 1979) qu’un logiciel assez bon joueur d’échec pour vaincre tous les humains sera assez intelligent pour vouloir faire autre chose — il n’a pas su prévoir les immenses progrès de la puissance informatique dans les vingt années qui suivirent.
Le lecteur pressé pourra jeter un œil sur le long article Wikipédia consacré au livre, en sachant qu’il effleure la surface de la substantifique moëlle du pavé.
8 réactions
1 De Dr. Goulu - 16/04/2008, 22:23
Ce bouquin est tellement génial que je l'ai lu 2 fois : une fois en anglais et une fois en français. Car Hofstadeter a du le réécrire lui-même pour convertir plutôt que traduire certains passages intraduisibles comme des autoréférences du genre "cette phrase contient trois o" qui devient "this sentence contains four t" ...
Le top je vous dis.
2 De Balise - 17/04/2008, 10:39
Je l'ai offert à Papa il y a quelques années après que mon co-thésard à l'époque m'en a parlé... Commencé, pas eu le temps de le finir, il faudrait que je le reprenne à l'occasion. Mais bon, il est gros ET touffu, je sais pas si je suis capable de garder un bouquin pendant suffisamment de temps pour ça :)
3 De Thias - 21/04/2008, 09:03
Même chose pour moi, je l'avais commencé il y a quelques temps, le problème majeur de ce livre est qu'une fois qu'on a compris ou l'auteur veut en venir, le texte a moins d'intérêt. J'avais bien aimé la partie avec les niveaux de génies.
4 De Le webmestre - 21/04/2008, 20:56
@Thias : C'est pas faux cette remarque, c'est une des raisons pour lesquelles j'ai eu du mal à finir certains chapitres. Il y aurait pas mal de coupures à faire pour densifier le propos...
5 De Lisa Sion - 27/10/2010, 23:26
Bonjour,
la plus grande part des musiciens ignorent qu'ils ne font qu'ajouter des formules mathématiques et plus ils s'éloignent des accords majeurs classiques, plus devient complexe le calcul et la recette de leur salade sonique. C'est pour cette raison que les élémentaires profanes se contentent du top cinquante. Quant aux fans de beat box boite de nuit, c'est çà se demander ce qu'ils ont dans la tête comme capacité de raisonnement purement binaire.
Par contre, pour l'art contemporain il en va tout autant puisque, écraser une merde peut rapporter aussi des millions d'euros, ce qui me fait dire que l'argent passe loin au dessus de la mathématique pour la bonne raison que la somme finale n'est composée en majorité que de zéros pointés...C'est juste le "1" qui est devant qui mobilise toute l'attention des pauvres sujets.
Cordialement. L.S.
et amitié au dr Goulu.
6 De David Latapie - 19/01/2011, 00:53
As-tu Le Ton beau de Marot ? Hofstadter y parle des problématiques de traduction. C'est en citant le passage de la tortue que j'y ai pensé (Miss Turtle et Mister Tortoise : comment traduire en français ?)
7 De Le webmestre - 19/01/2011, 22:10
@David : Hop, sur ma liste d'idées cadeaux ! :o)
8 De Loisolire - 31/08/2011, 13:26
Que dire ? Fabuleux livre qui me donne l'impression d'acceder à un autre niveau niveau de compréhension du monde qui m'entoure. Par exemple, je me surprend parfois à analyser les choses du quotidien en termes de niveaux récursifs. :)