Logique, informatique et paradoxes
Mode lecture activé pour faciliter la lecture des critiques longues.
Professeur d'informatique à l'Université de Lille et chercheur au CNRS, Jean-Paul Delahaye n'est pas exactement le genre d'auteur qu'on croise dans les listes de best-sellers. Son territoire, c'est la rubrique « Logique et calcul » qu'il tient depuis des années dans Pour la science — l'équivalent français de Scientific American — et dont Logique, informatique et paradoxes est, en gros, une compilation enrichie. Rien de honteux à ça : les meilleurs livres de vulgarisation naissent souvent d'articles affinés au contact des lecteurs, retravaillés, mis en cohérence. C'est exactement ce qu'on a ici.
Le principe est simple à résumer, moins simple à digérer. La logique, cette discipline censée nous prémunir contre les raisonnements bancals, est en réalité le royaume des paradoxes les plus casse-cous qui soient. Les théorèmes d'incomplétude de Gödel, les problèmes indécidables de Turing, les abysses du hasard selon Chaitin : autant de découvertes qui ont mis à genoux l'idée qu'on pourrait un jour tout formaliser, tout calculer, tout démontrer. L'informatique, loin d'être une machine à réponses, se retrouve elle aussi coincée dans ces zones d'ombre où les algorithmes tournent en rond jusqu'à la fin des temps. Le livre navigue entre ces thèmes avec un sens du grand écart appréciable : un chapitre sur la cryptographie quantique, un autre sur le dilemme du prisonnier, un troisième sur la profondeur logique selon Bennett… Et d'ailleurs, sur ce dernier point, Delahaye avait fait quelque chose d'assez malin à l'époque : il avait invité les lecteurs de Pour la science à soumettre leurs propres stratégies pour un tournoi du dilemme du prisonnier itératif. Une démarche participative rare pour 1995, qui donnait à la démarche un côté expérimental ; et les conclusions sur la coopération, « il vaut mieux être bon que méchant, indulgent que rancunier », ont quelque chose de rafraîchissant pour un livre de logique pure.
Le résultat est stimulant. Vraiment. On termine certains chapitres avec cette impression légèrement vertigineuse d'avoir compris quelque chose d'important sur les limites de la pensée humaine ; ce que peu de livres parviennent à provoquer. Delahaye écrit bien, sans chichi, avec une pédagogie qui ne prend jamais le lecteur pour un idiot tout en ne le flattant pas non plus. Il a reçu le Prix d'Alembert de la Société Mathématique de France quelques années après la parution de ce livre, récompensant l'ensemble de ses travaux de vulgarisation : ce n'est pas un hasard, si on ose la formule dans ce contexte précis.
Cela dit, soyons honnêtes. Le format « recueil d'articles » a ses limites, et elles se voient. Chaque chapitre fonctionne comme une capsule autonome, avec son propre point de départ, ses propres références, sa propre chute ; ce qui est parfait pour une lecture en pointillé dans la salle d'attente de son dentiste, mais un peu frustrant si l'on cherche une montée en puissance, une architecture d'ensemble. On passe de la cryptographie quantique aux paradoxes sémantiques sans autre transition que le saut de page, et l'impression de butiner remplace parfois celle de progresser. Par ailleurs, certains passages supposent un bagage mathématique que le lecteur moyen n'a pas forcément conservé depuis la terminale… la profondeur logique de Bennett, par exemple, est un sujet où la vulgarisation atteint ses limites naturelles.
Le niveau d'entrée de ce livre flotte dans une zone médiane un peu inconfortable : trop technique pour le curieux totalement néophyte, trop simplifié pour le spécialiste. Ce n'est pas un défaut fatal, c'est juste une réalité à avoir en tête avant d'acheter. Si vous cherchez le grand livre fondateur sur ces questions, le monument qui traverse les décennies avec l'ambition d'un roman, tournez-vous plutôt vers Gödel, Escher, Bach de Douglas Hofstadter : un pavé foisonnant et labyrinthique, certes, mais qui embrasse le même territoire avec une ambition narrative autrement plus folle. Pour quelque chose de plus court et de thématiquement proche, L'intelligence et le calcul, un autre Delahaye paru quelques années plus tard, constitue une sorte de prolongement plus mature.
Logique, informatique et paradoxes reste, vingt-cinq ans après, un livre utile et sincère, porté par quelqu'un qui maîtrise vraiment son sujet et prend plaisir à le partager. Ce n'est pas la révélation qu'on attendait peut-être, mais c'est un compagnon de lecture solide pour quiconque veut comprendre pourquoi les ordinateurs — et les cerveaux — ne pourront jamais tout résoudre.
Le principe est simple à résumer, moins simple à digérer. La logique, cette discipline censée nous prémunir contre les raisonnements bancals, est en réalité le royaume des paradoxes les plus casse-cous qui soient. Les théorèmes d'incomplétude de Gödel, les problèmes indécidables de Turing, les abysses du hasard selon Chaitin : autant de découvertes qui ont mis à genoux l'idée qu'on pourrait un jour tout formaliser, tout calculer, tout démontrer. L'informatique, loin d'être une machine à réponses, se retrouve elle aussi coincée dans ces zones d'ombre où les algorithmes tournent en rond jusqu'à la fin des temps. Le livre navigue entre ces thèmes avec un sens du grand écart appréciable : un chapitre sur la cryptographie quantique, un autre sur le dilemme du prisonnier, un troisième sur la profondeur logique selon Bennett… Et d'ailleurs, sur ce dernier point, Delahaye avait fait quelque chose d'assez malin à l'époque : il avait invité les lecteurs de Pour la science à soumettre leurs propres stratégies pour un tournoi du dilemme du prisonnier itératif. Une démarche participative rare pour 1995, qui donnait à la démarche un côté expérimental ; et les conclusions sur la coopération, « il vaut mieux être bon que méchant, indulgent que rancunier », ont quelque chose de rafraîchissant pour un livre de logique pure.
Le résultat est stimulant. Vraiment. On termine certains chapitres avec cette impression légèrement vertigineuse d'avoir compris quelque chose d'important sur les limites de la pensée humaine ; ce que peu de livres parviennent à provoquer. Delahaye écrit bien, sans chichi, avec une pédagogie qui ne prend jamais le lecteur pour un idiot tout en ne le flattant pas non plus. Il a reçu le Prix d'Alembert de la Société Mathématique de France quelques années après la parution de ce livre, récompensant l'ensemble de ses travaux de vulgarisation : ce n'est pas un hasard, si on ose la formule dans ce contexte précis.
Cela dit, soyons honnêtes. Le format « recueil d'articles » a ses limites, et elles se voient. Chaque chapitre fonctionne comme une capsule autonome, avec son propre point de départ, ses propres références, sa propre chute ; ce qui est parfait pour une lecture en pointillé dans la salle d'attente de son dentiste, mais un peu frustrant si l'on cherche une montée en puissance, une architecture d'ensemble. On passe de la cryptographie quantique aux paradoxes sémantiques sans autre transition que le saut de page, et l'impression de butiner remplace parfois celle de progresser. Par ailleurs, certains passages supposent un bagage mathématique que le lecteur moyen n'a pas forcément conservé depuis la terminale… la profondeur logique de Bennett, par exemple, est un sujet où la vulgarisation atteint ses limites naturelles.
Le niveau d'entrée de ce livre flotte dans une zone médiane un peu inconfortable : trop technique pour le curieux totalement néophyte, trop simplifié pour le spécialiste. Ce n'est pas un défaut fatal, c'est juste une réalité à avoir en tête avant d'acheter. Si vous cherchez le grand livre fondateur sur ces questions, le monument qui traverse les décennies avec l'ambition d'un roman, tournez-vous plutôt vers Gödel, Escher, Bach de Douglas Hofstadter : un pavé foisonnant et labyrinthique, certes, mais qui embrasse le même territoire avec une ambition narrative autrement plus folle. Pour quelque chose de plus court et de thématiquement proche, L'intelligence et le calcul, un autre Delahaye paru quelques années plus tard, constitue une sorte de prolongement plus mature.
Logique, informatique et paradoxes reste, vingt-cinq ans après, un livre utile et sincère, porté par quelqu'un qui maîtrise vraiment son sujet et prend plaisir à le partager. Ce n'est pas la révélation qu'on attendait peut-être, mais c'est un compagnon de lecture solide pour quiconque veut comprendre pourquoi les ordinateurs — et les cerveaux — ne pourront jamais tout résoudre.
Ma note74%
Commentaires
Aucun commentaire pour l'instant. Soyez le premier !