Rayon Fondements des mathématiques (logique)
Le point aveugle : cours de logique. Vol. 2. Vers l'imperfection

Fiche technique

Format : Broché
Nb de pages : Xii-286 pages
Poids : 369 g
Dimensions : 15cm X 21cm
ISBN : 978-2-7056-6634-7
EAN : 9782705666347

Vers l'imperfection


Collection(s) | Visions des sciences
Paru le
Broché Xii-286 pages

Quatrième de couverture

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.

Biographie

Jean-Yves Girard, directeur de recherche au CNRS, travaille à l'Institut de Mathématiques de Luminy. C'est un logicien à qui l'on doit, entre autres, le système F, la logique linéaire et la ludique, contributions mathématiques à la logique ; ainsi qu'une réflexion épistémologique, contribution philosophique à cette même logique. Médaille d'argent du CNRS, correspondant à l'Académie des sciences, membre de l'Académie européenne.

Avis des lecteurs

Du même auteur : Jean-Yves Girard

La machine de Turing

Le Théorème de Gödel

Cinq conférences sur l'indécidabilité

Le théorème de Gödel

La machine de Turing

Le fantôme de la transparence