Le point aveugle

Vol 1. cours de logique à vers la perfection

Jean-Yves Girard - Collection Visions des sciences

298 pages, parution le 07/07/2006

Ajouter à une liste

Expédié sous 24h

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

Retrait à la librairie - Paris 5e

Disponible dès le 23/12

QUANTITÉ

Résumé

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 Gödel (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.

L'auteur - Jean-Yves Girard

Jean-Yves Girard. Né en 1947. Directeur de recherche au CNRS. Spécialiste de logique mathématique, il travaille à l'université de Marseille-Lumigny.

Autres livres de Jean-Yves Girard

Le fanTome de la transparence

Le point aveugle

La machine de Turing

Le théoreme de Gödel

Découvrir tous les livres de Jean-Yves Girard

Sommaire

Les bases
- Existence contre essence
- Le théorème d'incomplétude
- Les séquents classiques : LK
- Cas intuitionniste : LJ et NJ
Autour de Curry-Howard
- Interprétations fonctionnelles
- Le système F
- L'interprétation catégorique
La logique linéaire
- Espaces cohérents
- La logique linéaire
- Perfection et imperfection
- Réseaux de démonstration

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermann
Auteur(s)	Jean-Yves Girard
Collection	Visions des sciences
Parution	07/07/2006
Nb. de pages	298
Format	14.8 x 21
Couverture	Broché
Poids	362g
Intérieur	Noir et Blanc
EAN13	9782705666330
ISBN13	978-2-7056-6633-0