L'expérience de la connaissance nous enseigne qu'il n'y a pas de Réalité Dernière, que tout train en cache un autre. Une évidence qu'il n'est pas facile d'accepter, d'où l'idée de ce train ultime, celui qui ne cacherait plus rien. La transparentisme postule l'existence, au-delà de la perception immédiate, d'un monde, d'un niveau de lecture, complètement intelligible, i.e, explicite et immédiat. D'où cette croyance en de prétendus "rayons X du savoir" qui nous dévoileraient l'envers de l'Univers.

Le Fantôme 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. Il nous emmène du paradoxe de Gdel (l'incomplétude), des limbes du signifiant, à la logique parfaite, cette logique sans point aveugle ou presque qui réfère à un monde d'action. Nous quittons alors les vérités pérennes pour vivre dans l'instant : en termes linguistiques, nous passons de l'imparfait au parfait. L'infini retrouve ainsi son étymologie (imparfaite) : celle du non-terminé. Epistémologiquement, le texte rompt avec la sempiternelle polarisation entre réalisme et anti-réalisme, en lui substituant l'opposition entre existence et essence. D'ontologique, la question devient morphologique : la logique est-elle antérieure aux phénomènes qu'elle contrôle ? Cet ouvrage est le premier d'une publication en deux volumes ce n'est qu'au second tome, avec l'analyse de l'imperfection, que nous arriverons à la pérennité non pérenne ; c'est un peu la réconciliation de l'essence et de l'existence sur d'autres bases que la familière combinatoire logistique : les algèbres d'opérateurs.

Le Point Aveugle. Volume 1

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 est explicitée dans un article de 1936, ici complété 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.

Ses oeuvres

Ses derniers livres