paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 026892669Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Girard, Jean-Yves (1947-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : Francais
Pays : France
Date de naissance :    1947
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'une thèse de Doctorat en Mathématiques à l'Université de Paris 7, 1972

Note publique d'information : 
Mathématicien-logicien. Enseignant à l'université de Paris VII, Directeur de recherche au CNRS (en 1989). En poste à l'institut Mathématiques de Luminy UMR 6206-CNRS, Marseille (en 2004 et 2011)

Note publique d'information : 
Médaille d'argent du CNRS

Source

Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur / Jean-Yves Girard, 1972 [Thèse]

Le Théorème de Gödel / K. Gödel, E. Nagel et J.R. Newman comment., J.Y. Girard postf., 1989

Autres identifiants

Identifiant BNF : FRBNF119050349
Identifiant VIAF : http://viaf.org/viaf/84575083
Identifiant ISNI : 0000000078296607

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...