Jean-Yves Girard

Country :France
Language :français
Note :Enseignant à l'université de Paris VII. - Directeur de recherche au CNRS (Marseille, en 2000)
ISNI :ISNI 0000 0000 7829 6607

Occupations

Auteur du texte9 documents

  • The blind spot

    lectures on logic

    Material description : 1 vol. (XII-537 p.)
    Edition : Zürich : European mathematical society , 2011

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb42681826k]
  • Contenu dans : Le théorème de Gödel

    Le champ du signe ou La faillite du réductionnisme. - [1]

    Material description : 178 p.
    Note : Note : Réunit : "La démonstration de Gödel" / Ernest Nagel et James R. Newman, trad. de : "Gödel's proof". "Sur les propositions formellement indécidables de Principia mathematica et des systèmes apparentés I" / Kurt Gödel, trad. de : "Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I". "Le champ du signe ou La faillite du réductionnisme" / Jean-Yves Girard. - Bibliogr. p. 173. Index
    Edition : Paris : Éd. du Seuil , 1997

    [catalogue]
  • Cinq conférences sur l'indécidabilité

    Material description : 77 p.
    Edition : Paris : Presses de l'École nationale des Ponts et chaussées , 1983
    Auteur du texte : Nicolas Bouleau

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34855009n]
  • Les Démonstrations de cohérence de l'arithmétique

    Material description : 6 f. multigr.
    Note : Note : Texte d'une communication faite le 9 janvier 1980 au Séminaire de philosophie et mathématiques de l'École normale supérieure
    Edition : Villetaneuse : IREM Paris-Nord , 1980

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34712615h]
  • Les fondements des mathématiques

    Material description : 1 cass. vidéo (VHS) (1 h 15 min) : coul. (SECAM), son.
    Note : Note sur l'enregistrement : fr. - 20000617
    Edition : Vanves : Service du film de recherche scientifique [éd., distrib.] , [DL 2005]
    Record : 2000-06-17 - France
    Concepteur : Yves Michaud

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb393021137]

Éditeur scientifique4 documents

  • La machine de Turing

    Material description : 174 p.
    Note : Note : Réunit : "Théorie des nombres calculables, suivie d'une application au problème de la décision", et "Les ordinateurs et l'intelligence" / par Alan Turing
    Edition : Paris : Ed. du Seuil , 1995
    Auteur du texte : Alan Mathison Turing (1912-1954)

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35764538j]
  • Advances in linear logic

    Material description : 1 vol. (389 p.)
    Edition : Cambridge : Cambridge university press , cop. 1995

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37555166n]
  • La machine de Turing

    Material description : 174 p.
    Note : Note : Réunit 2 articles d'Alan Turing : "Théorie des nombres calculables, suivie d'une application au problème de la décision", trad. de "On computable numbers" ; "Les ordinateurs et l'intelligence", trad. de "Computing machinery and intelligence". - Précédemment paru dans la collection "Sources du savoir"
    Edition : Paris : Éd. du Seuil , 1999
    Auteur du texte : Alan Mathison Turing (1912-1954)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37072470j]
  • Typed lambda calculi and applications

    4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

    Material description : VIII-396 p.
    Note : Note : Includes bibliographical references and index
    Edition : Berlin : Springer , cop. 1999

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb377317815]

Postfacier1 document

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • Le Théorème de Gödel / K. Gödel, E. Nagel et J.R. Newman comment., J.Y. Girard postf., 1989
    Les fondements des mathématiques [Images animées] / Yves Michaud, concept., présent. ; Jean-Yves Girard, aut., participant. Service du film de recherche scientifique, 2000

Wikipedia Biography

  • Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS (émérite) au département de logique de la programmation de l'institut de mathématiques de Luminy.Il est médaille d'argent du CNRS en 1983, membre de l'Académie des sciences depuis 1994, membre de l'Académie européenne depuis 1995.

Closely matched pages