Un livre difficile à décrire, mais je me lance.
En premier lieu, il s'agit d'un vulgarisation sur le thème des theorèmes mathématiques de Godel. Enoncés en 1931, ils bouleversent la philosophie des math: En resumé, "toute théorie mathématique est nécessairement incomplète" et "le fait qu'une theorie soit cohérente ne peut pas être démontré par cette même theorie"
Bref, les maths viennent alors de prouver que les maths ne pourront jamais tout prouver. C'est la fin d'un espoir qui date de Descartes. Une rupture philosophique majeure dans l'histoire des sciences.
Revenons
au livre. L'auteur, comme de nombreux scientifiques, se pose beaucoup de questions sur cette notion de boucle étrange engendré par le théoreme de godel: les maths prouvent que les maths ne peuvent pas tout prouver.
Ainsi, a travers un exercice de style mélant les tableaux d'escher, la structure des compositions de J.S.Bach & le theoreme de Godel, l'auteur va nous faire voyager avec malice à travers les maths, des mythes grecs, la biochimie, le cerveau, l'âme...
La structure narrative est complexe, car elle participe elle même aux explications: des digressions nous amènent à la limite de perdre le fil, avant de nous faire comprendre dans le chapitre suivant que le sens était caché dans leur structure.
Ce livre de 1979 reste incroyable 30 ans plus tard. Seuls les aspects liés à l'informatique et l'intelligence artificielle montrent son age.
Sa plus grande qualité: on en ressort encore plus étonné et curieux du monde qui nous entoure.
Exigeant, mais marquant.
Un livre difficile à décrire, mais je me lance.
En premier lieu, il s'agit d'un vulgarisation sur le thème des theorèmes mathématiques de Godel. Enoncés en 1931, ils bouleversent la philosophie des math: En resumé, "toute théorie mathématique est nécessairement incomplète" et "le fait qu'une theorie soit cohérente ne peut pas être démontré par cette même theorie"
Bref, les maths viennent alors de prouver que les maths ne pourront jamais tout prouver. C'est la fin d'un espoir qui date de Descartes. Une rupture philosophique majeure dans l'histoire des sciences.
Revenons au livre. L'auteur, comme de nombreux scientifiques, se pose beaucoup de questions sur cette notion de boucle étrange engendré par le théoreme de godel: les maths prouvent que les maths ne peuvent pas tout prouver.
Ainsi, a travers un exercice de style mélant les tableaux d'escher, la structure des compositions de J.S.Bach & le theoreme de Godel, l'auteur va nous faire voyager avec malice à travers les maths, des mythes grecs, la biochimie, le cerveau, l'âme...
La structure narrative est complexe, car elle participe elle même aux explications: des digressions nous amènent à la limite de perdre le fil, avant de nous faire comprendre dans le chapitre suivant que le sens était caché dans leur structure.
Ce livre de 1979 reste incroyable 30 ans plus tard. Seuls les aspects liés à l'informatique et l'intelligence artificielle montrent son age.
Sa plus grande qualité: on en ressort encore plus étonné et curieux du monde qui nous entoure.