LE FANTOME DE LA TRANSPARENCE

Ce livre est à la fois un cours de logique (théorie de la démonstration) et d'épistémologie des "fondements". il s'adresse aussi bien aux mathématiciens qu'aux informaticiens, aux philosophes qu'aux physiciens et aux linguistes. Le premier tome Vers la perfection s'achevait sur la logique linéaire et la distinction entre parfait et imparfait : le parfait renvoie à un monde d'actions où l'on vit dans l'instant loin des vérités pérennes, alors que l'imparfait est le monde de l'infini et de la pérennité, lieu du non-terminé. Alors que la perfection s'analyse sans problème, tous les paradigmes logiques considérés deviennent problématiques hors du mode parfait. Dans ce second tome Vers l'imperfection, nous interrogeons ce monde imparfait. En particulier, comment postuler la pérennité sans postuler en même temps la pérennité de la pérennité ? Une pérennité non pérenne s'exprime cependant dans les logiques iconoclastes, des systèmes qui font sens sur le papier, mais qu'on a du mal à asseoir : la bonne intuition se trouve finalement du côté de la mécanique quantique et des algèbres d'opérateurs : c'est la géométrie de l'interaction. L'interprétation de l'imperfection suppose la reconnaissance de l'intrication entre sujet et objet : on découvre in fine que la tradition logique a minimisé le rôle du sujet ; paradoxalement, en cherchant des notions objectives, elle est tombée dans le subjectivisme. Le premier tome s'ouvrait sur l'essentialisme arrogant de Tarski : la vérité est la dualité de ce qui est vrai. Le second tome lui répond en se refermant sur une définition subjective de la vérité, qui tient (enfin) compte de la place prépondérante du sujet dans l'énonciation.

Si l'invention de l'ordinateur ne peut être attribuée à un personnage unique, le Britannique Alan Turing est un de ceux qui ont aidé - au plan de la théorie et de la logique - à définir ce que pourrait être un modèle mathématique simple pour tout processus de calcul. Cette machine de Turing, explicitée dans un article de 1936, est ici complétée par un autre article fondateur, Les ordinateurs et l'intelligence, où l'auteur met en questions ce qui deviendra l'intelligence artificielle. Deux commentaires critiques du logicien Jean-Yves Girard replacent dans son contexte la pensée de Turing et montrent comment elle anticipe la révolution informatique de notre siècle.

Par son originalité et la supposée complexité dont il s'auréole, le théorème de Gödel a acquis un statut quelque peu mythique dans la science, la philosophie et les médias contemporains. Enoncé en 1931, ce théorème d'"incomplétude" a de fait bouleversé la question du fondement des mathématiques. Sa portée est surtout d'ordre méthodologique et philosophique; ses difficultés "techniques" étant, quant à elles, très surestimées. Pour prendre en compte ces deux aspects, le présent ouvrage rassemble - outre la traduction de l'article original de Gödel - une version vulgarisée par E. Nagel et J. R. Newman de la démonstration de Gödel, et un texte du logicien J.-Y. Girard qui fait le point sur les problèmes d'interprétation du célèbre théorème.