Hardcover, 777 pages
English language
Published Jan. 10, 1979 by Basic Books.
Winner of the Pulitzer Prize, this book applies Godel's seminal contribution to modern mathematics to the study of the human mind and the development of artificial intelligence.
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.
