Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Le point aveugle - Cours de logique - Volume I

Librairie Eyrolles - Paris 5e
Disponible en magasin

Le point aveugle - Cours de logique - Volume I

Le point aveugle - Cours de logique - Volume I

Vers la perfection

- Collection Visions des sciences

280 pages, parution le 18/07/2006

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'actions. 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

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 du livre "Le point aveugle - Cours de logique - Volume I"

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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925