Paperback, 883 pages
French language
Published Oct. 31, 2000 by Dunod.
Présentation du livre (de dunod.fr)
Il est bien rare de découvrir un livre qui nous transporte littéralement dans des mondes nouveaux grâce à l’ampleur de son érudition, à la joie créatrice de son style et, surtout, grâce à son pouvoir de relier des domaines de connaissances apparemment totalement étrangers les uns aux autres. Gödel, Escher, Bach est l’un de ces livres. L’auteur établit des liens entre les gravures d’Escher, la musique de Bach et la logique mathématique. Il nous rend intelligibles des similitudes cachées entre des domaines aussi variés que la biologie, la psychologie, la physique, l’informatique, la linguistique… et éclaire l’un des mystères de la philosophie : notre apparente inaptitude à comprendre la nature de nos propres processus de pensée
Sommaire de l'ouvrage
L'énigme Mu. Signification et forme en mathématiques. Consistance, complétude et géométrie. Structures et processus récursifs. Où réside la signification ? Le calcul propositionnel. Cerveaux et pensées. …
Présentation du livre (de dunod.fr)
Il est bien rare de découvrir un livre qui nous transporte littéralement dans des mondes nouveaux grâce à l’ampleur de son érudition, à la joie créatrice de son style et, surtout, grâce à son pouvoir de relier des domaines de connaissances apparemment totalement étrangers les uns aux autres. Gödel, Escher, Bach est l’un de ces livres. L’auteur établit des liens entre les gravures d’Escher, la musique de Bach et la logique mathématique. Il nous rend intelligibles des similitudes cachées entre des domaines aussi variés que la biologie, la psychologie, la physique, l’informatique, la linguistique… et éclaire l’un des mystères de la philosophie : notre apparente inaptitude à comprendre la nature de nos propres processus de pensée
Sommaire de l'ouvrage
L'énigme Mu. Signification et forme en mathématiques. Consistance, complétude et géométrie. Structures et processus récursifs. Où réside la signification ? Le calcul propositionnel. Cerveaux et pensées. Esprits et pensées. Des propositions formellement indécidables. Sortir du système. Boucles étranges ou hiérarchies enchevêtrée
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.
