Una fuga metaforica su menti e macchine nello spirito di Lewis Carroll
Paperback, 852 pages
Italian language
Published July 31, 1990 by Adelphi.
Il libro che ha svelato a una immensa quantità di lettori, in tutto il mondo, gli incanti e le trappole di un’Eterna Ghirlanda Brillante i cui fili si chiamano intelligenza artificiale, macchina di Turing, teorema di Gödel. Una «fuga metaforica» nel variegato mondo che si dispiega fra la mente, il cervello e i computer.
«Ogni due o tre decenni un autore ignoto produce un libro di tale profondità, chiarezza, vastità, acume, bellezza e originalità che subito esso viene riconosciuto come un avvenimento di prima importanza: Gödel, Escher, Bach è un’opera di tal genere… La struttura di questo libro è satura di complicato contrappunto non meno di una composizione di Bach o dell’Ulisse di Joyce»
MARTIN GARDNER, «Scientific American»
This is my all-time favorite book.
It feels like you are wandering in a place full of wonders and understanding many things that seemed unrelated, while enjoying the company of the author and his quirky creations.
Ich habe dieses gehypte Buch voller positiver Erwartung begonnen und bin bitter enttäuscht worden. Es ist unglaublich langweilig und für mich inhaltlich total irrelavant, abgesehen davon, das ich nix verstanden habe. Ist wohl nur etwas für Mathe-Nerds. Nach 100 Seiten habe ich aufgegeben.
Ich habe dieses gehypte Buch voller positiver Erwartung begonnen und bin bitter enttäuscht worden. Es ist unglaublich langweilig und für mich inhaltlich total irrelavant, abgesehen davon, das ich nix verstanden habe. Ist wohl nur etwas für Mathe-Nerds. Nach 100 Seiten habe ich aufgegeben.
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.
Version longue : www.coindeweb.net/blogsanssujetprecis/index.php?post/2008/04/16/487-godel-escher-bach-de-douglas-hofstadter
Ca fait longtemps que je n'ai pas mis aussi longtemps à lire un livre. A bien y réfléchir, c'est peut-être la première fois qu'il me faut plus d'un mois pour en lire un.
Cela dit, il ne s'agit pas de n'importe quel roman. Ni même de n'importe quel livre.
Dans celui-ci, l'auteur illumine de nombreux sujets de la lumière du théorème d'incomplétude de Gödel. Ca part des systèmes formels pour, évidement, passer par l'informatique avant d'aller se promener du côté de la génétique, des organisations humaines, voire même de notre vision du monde.
Mais avant tout, le théorème d'incomplétude de Gödel, c'est quoi ?
Eh bien c'est "simplement" l'expression dans un système formel dy syllogisme bien connu "cette phrase est fausse" : si elle est fausse, elle est vraie, et réciproquement. Notre esprit survit à cette contradiction (parce qu'il est assez contradictoire), mais un système formel, conçu donc pour exprimer …
Ca fait longtemps que je n'ai pas mis aussi longtemps à lire un livre. A bien y réfléchir, c'est peut-être la première fois qu'il me faut plus d'un mois pour en lire un.
Cela dit, il ne s'agit pas de n'importe quel roman. Ni même de n'importe quel livre.
Dans celui-ci, l'auteur illumine de nombreux sujets de la lumière du théorème d'incomplétude de Gödel. Ca part des systèmes formels pour, évidement, passer par l'informatique avant d'aller se promener du côté de la génétique, des organisations humaines, voire même de notre vision du monde.
Mais avant tout, le théorème d'incomplétude de Gödel, c'est quoi ?
Eh bien c'est "simplement" l'expression dans un système formel dy syllogisme bien connu "cette phrase est fausse" : si elle est fausse, elle est vraie, et réciproquement. Notre esprit survit à cette contradiction (parce qu'il est assez contradictoire), mais un système formel, conçu donc pour exprimer des vérités, commence à peiner quand il devient assez puissant pour traduire ce genre de phrase.
Pour nous expliquer ça, Hofsdater va d'abord nous expliquer les systèmes formels, avant de pouvoir nous montrer "avec les mains", comme disait un de mes profs, ce qui fait le sel de la démonstration de ce théorème.
Et bien sûr, il conclura son ouvrage avec des exemples d'application.
Et Bach et Escher ? Eh bien ils illustrent la notion à la base de ce théorème : l'auto-référence.
Une notion qui, d'ailleurs, sera utilisé dans la seconde partie de ce monument de la vulgarisation scientifique : quand l'auteur s'attaquera aux implications de ce théorème dans le domaine de l'IA, qui, selon lui (et, d'un certain point de vue, selon moi également) est auto-référente par construction.
