Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Le point aveugle
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Disponible en magasin

Le point aveugle

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

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

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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de 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 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription