| Property |
Value |
| dbo:abstract
|
- 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 (devenu l'Institut de Mathématiques de Marseille, depuis le 1er janvier 2014). Il est médaille d'argent du CNRS en 1983, correspondant de l'Académie des sciences depuis 1994, membre de l'Académie européenne depuis 1995. (fr)
- 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 (devenu l'Institut de Mathématiques de Marseille, depuis le 1er janvier 2014). Il est médaille d'argent du CNRS en 1983, correspondant de l'Académie des sciences depuis 1994, membre de l'Académie européenne depuis 1995. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5075 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:auteurs
|
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard (fr)
- Ernest Nagel, James R. Newman, Kurt Gödel et Jean-Yves Girard (fr)
|
| prop-fr:ref
|
- Référence:Le théorème de Gödel (fr)
- Référence:Le théorème de Gödel (fr)
|
| prop-fr:titre
|
- Le théorème de Gödel (fr)
- Le théorème de Gödel (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Éditions du Seuil (fr)
- Éditions du Seuil (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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 (devenu l'Institut de Mathématiques de Marseille, depuis le 1er janvier 2014). Il est médaille d'argent du CNRS en 1983, correspondant de l'Académie des sciences depuis 1994, membre de l'Académie européenne depuis 1995. (fr)
- 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 (devenu l'Institut de Mathématiques de Marseille, depuis le 1er janvier 2014). Il est médaille d'argent du CNRS en 1983, correspondant de l'Académie des sciences depuis 1994, membre de l'Académie européenne depuis 1995. (fr)
|
| rdfs:label
|
- Jean-Yves Girard (fr)
- Jean-Yves Girard (de)
- Jean-Yves Girard (fr)
- Jean-Yves Girard (de)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:discoverer
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:auteur
of | |
| is prop-fr:auteurs
of | |
| is prop-fr:nom
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
