| Birthplace
|
http://dbpedia.org/resource/Lyon +
|
| http://dbpedia.org/ontology/abstract
|
ジャン＝イヴ・ジラール（Jean-Yves Girard、1947年 - ）は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
, Jean-Yves Girard (* 1947 in Lyon) ist ein … Jean-Yves Girard (* 1947 in Lyon) ist ein französischer mathematischer Logiker. Girard besuchte die École Normale Supérieure de Saint Cloud und wurde 1972 an der Universität Paris VII Denis Diderot bei Jean-Louis Krivine promoviert (Interprétaton fonctionelle et élimination des coupures de l'arithmétique d'ordre supérieure). Er lehrte an der Universität Paris VII und an der Université de la Mediteranée Aix-Marseille. Girard ist bekannt für Beiträge zur Beweistheorie mit Anwendungen in der Informatik. Er führte 1987 die Lineare Logik ein, eine neue Nichtklassische Logik, die auch in der Informatik vielfach Anwendung fand, und in diesem Zusammenhang 1989 Geometry of Interaction (GoI). 2001 begründete er Ludics aus der Analyse von Ableitungsregeln in Logiken. 1971/2 führte er in seiner Dissertation eine getypte polymorphe Form des Lambda-Kalküls ein (wie unabhängig ), System F. Sie fand Anwendungen in der Theorie der Programmiersprachen (u. a. theoretische Grundlagen von ML). Er ist Mitglied der Académie des sciences und der Academia Europaea (1995). Zu seinen Doktoranden zählen Yves Lafont, Laurent Regnier.anden zählen Yves Lafont, Laurent Regnier.
, Jean-Yves Girard (French: [ʒiʁaʁ]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of the University of Aix-Marseille, at Luminy.
, Jean-Yves Girard (1947) é um lógico francê … Jean-Yves Girard (1947) é um lógico francês que trabalha em teoria da prova. Suas contribuições incluem a prova da (do inglês strong normalization) do sistema de lógica de segunda ordem chamado ; a invenção de lógica linear; de ; e de ludics. Ele também inventou o relógio de mostarda. Aluno da École normale supérieure de Fontenay-Saint-Cloud (Escola superior de Saint-Cloud), Girard é um diretor de pesquisa da CNRS em Marseille e um membro correspondente da Academia Francesa de Ciências.pondente da Academia Francesa de Ciências.
, جان إيف جيرارد (بالفرنسية: Jean-Yves Girard) هو رياضياتي وفيلسوف فرنسي، ولد في 1947 في ليون في فرنسا.
, Jean-Yves Girard, né en 1947 à Lyon, est u … 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.mbre de l'Académie européenne depuis 1995.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Logic +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/%C3%89cole_normale_sup%C3%A9rieure_de_Saint-Cloud +
, http://dbpedia.org/resource/Paris_Diderot_University +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/CNRS_Silver_Medal +
, http://dbpedia.org/resource/Poncelet_Prize +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/CNRS +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Coherent_space +
, http://dbpedia.org/resource/Proof_net +
, http://dbpedia.org/resource/System_F +
, http://dbpedia.org/resource/Ludics +
, http://dbpedia.org/resource/Geometry_of_interaction +
, http://dbpedia.org/resource/System_U +
, http://dbpedia.org/resource/Linear_logic +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/proofstypes0000gira%7Curl-access=registration%7Cpublisher= +
, http://www-lipn.univ-paris13.fr/jyg60/index-en.php +
|
| http://dbpedia.org/ontology/wikiPageID
|
579673
|
| http://dbpedia.org/ontology/wikiPageLength
|
3998
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1112303950
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:French_male_non-fiction_writers +
, http://dbpedia.org/resource/Proof_net +
, http://dbpedia.org/resource/Logician +
, http://dbpedia.org/resource/Coherent_space +
, http://dbpedia.org/resource/Category:French_logicians +
, http://dbpedia.org/resource/Category:French_mathematicians +
, http://dbpedia.org/resource/University_of_Aix-Marseille +
, http://dbpedia.org/resource/Category:Proof_theorists +
, http://dbpedia.org/resource/Strong_normalization +
, http://dbpedia.org/resource/Paris_Diderot_University +
, http://dbpedia.org/resource/System_F +
, http://dbpedia.org/resource/Category:ENS_Fontenay-Saint-Cloud-Lyon_alumni +
, http://dbpedia.org/resource/CNRS_Silver_Medal +
, http://dbpedia.org/resource/Affine_logic +
, http://dbpedia.org/resource/Category:CNRS_scientists +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/French_Academy_of_Sciences +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/William_W._Tait +
, http://dbpedia.org/resource/CNRS +
, http://dbpedia.org/resource/Lyon +
, http://dbpedia.org/resource/Emeritus +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Category:French_philosophers +
, http://dbpedia.org/resource/Category:Members_of_the_French_Academy_of_Sciences +
, http://dbpedia.org/resource/Dag_Prawitz +
, http://dbpedia.org/resource/Takeuti%27s_conjecture +
, http://dbpedia.org/resource/Faculte_des_Sciences_de_Luminy +
, http://dbpedia.org/resource/Geometry_of_interaction +
, http://dbpedia.org/resource/Ludics +
, http://dbpedia.org/resource/CNRS_Silver_medal +
, http://dbpedia.org/resource/%C3%89cole_normale_sup%C3%A9rieure_de_Saint-Cloud +
, http://dbpedia.org/resource/Poncelet_Prize +
, http://dbpedia.org/resource/Linear_logic +
, http://dbpedia.org/resource/Girard%27s_paradox +
, http://dbpedia.org/resource/System_U +
, http://dbpedia.org/resource/Category:1947_births +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Paris_Diderot_University +
, http://dbpedia.org/resource/%C3%89cole_normale_sup%C3%A9rieure_de_Saint-Cloud +
|
| http://dbpedia.org/property/awards
|
http://dbpedia.org/resource/CNRS_Silver_Medal +
, http://dbpedia.org/resource/Poncelet_Prize +
|
| http://dbpedia.org/property/birthPlace
|
Lyon, France
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Logic +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/System_F +
, http://dbpedia.org/resource/Coherent_space +
, http://dbpedia.org/resource/Proof_net +
, http://dbpedia.org/resource/System_U +
, http://dbpedia.org/resource/Linear_logic +
, http://dbpedia.org/resource/Geometry_of_interaction +
, http://dbpedia.org/resource/Ludics +
|
| http://dbpedia.org/property/name
|
Jean-Yves Girard
|
| http://dbpedia.org/property/nationality
|
French
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Official_website +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:France-mathematician-stub +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:Ill +
, http://dbpedia.org/resource/Template:IPA-fr +
, http://dbpedia.org/resource/Template:Birth_year_and_age +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:DBLP +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/CNRS +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:ENS_Fontenay-Saint-Cloud-Lyon_alumni +
, http://dbpedia.org/resource/Category:CNRS_scientists +
, http://dbpedia.org/resource/Category:French_logicians +
, http://dbpedia.org/resource/Category:Proof_theorists +
, http://dbpedia.org/resource/Category:French_mathematicians +
, http://dbpedia.org/resource/Category:Members_of_the_French_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:1947_births +
, http://dbpedia.org/resource/Category:French_philosophers +
, http://dbpedia.org/resource/Category:French_male_non-fiction_writers +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/84575083 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Jean-Yves_Girard?oldid=1112303950&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Jean-Yves_Girard +
|
| http://xmlns.com/foaf/0.1/name
|
Jean-Yves Girard
|
| owl:sameAs |
http://viaf.org/viaf/84575083 +
, https://dblp.org/pid/g/JeanYvesGirard +
, http://rdf.freebase.com/ns/m.02s1g0 +
, https://global.dbpedia.org/id/2roje +
, http://data.bibliotheken.nl/id/thes/p073055409 +
, http://de.dbpedia.org/resource/Jean-Yves_Girard +
, http://fr.dbpedia.org/resource/Jean-Yves_Girard +
, http://ja.dbpedia.org/resource/%E3%82%B8%E3%83%A3%E3%83%B3%EF%BC%9D%E3%82%A4%E3%83%B4%E3%83%BB%E3%82%B8%E3%83%A9%E3%83%BC%E3%83%AB +
, http://d-nb.info/gnd/172098351 +
, http://www.wikidata.org/entity/Q3087821 +
, http://arz.dbpedia.org/resource/%D8%AC%D8%A7%D9%86_%D8%A7%D9%8A%D9%81_%D8%AC%D9%8A%D8%B1%D8%A7%D8%B1%D8%AF +
, http://ht.dbpedia.org/resource/Jean-Yves_Girard +
, http://pt.dbpedia.org/resource/Jean-Yves_Girard +
, http://yago-knowledge.org/resource/Jean-Yves_Girard +
, http://dbpedia.org/resource/Jean-Yves_Girard +
, http://ar.dbpedia.org/resource/%D8%AC%D8%A7%D9%86_%D8%A5%D9%8A%D9%81_%D8%AC%D9%8A%D8%B1%D8%A7%D8%B1%D8%AF +
|
| rdf:type |
http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatENSFontenay-Saint-Cloud-LyonAlumni +
, http://dbpedia.org/class/yago/WikicatFrenchLogicians +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatProofTheorists +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatPeopleFromLyon +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://www.wikidata.org/entity/Q215627 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Person100007846 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Wikicat21st-centuryMathematicians +
, http://dbpedia.org/class/yago/Theorist110706812 +
, http://dbpedia.org/class/yago/WikicatFrenchMathematicians +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/WikicatFrenchPeople +
, http://dbpedia.org/class/yago/WikicatFrenchPhilosophers +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Eukaryote +
|
| rdfs:comment |
ジャン＝イヴ・ジラール（Jean-Yves Girard、1947年 - ）は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
, Jean-Yves Girard (* 1947 in Lyon) ist ein … Jean-Yves Girard (* 1947 in Lyon) ist ein französischer mathematischer Logiker. Girard besuchte die École Normale Supérieure de Saint Cloud und wurde 1972 an der Universität Paris VII Denis Diderot bei Jean-Louis Krivine promoviert (Interprétaton fonctionelle et élimination des coupures de l'arithmétique d'ordre supérieure). Er lehrte an der Universität Paris VII und an der Université de la Mediteranée Aix-Marseille. Er ist Mitglied der Académie des sciences und der Academia Europaea (1995). Zu seinen Doktoranden zählen Yves Lafont, Laurent Regnier.anden zählen Yves Lafont, Laurent Regnier.
, Jean-Yves Girard, né en 1947 à Lyon, est u … 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.mbre de l'Académie européenne depuis 1995.
, جان إيف جيرارد (بالفرنسية: Jean-Yves Girard) هو رياضياتي وفيلسوف فرنسي، ولد في 1947 في ليون في فرنسا.
, Jean-Yves Girard (1947) é um lógico francê … Jean-Yves Girard (1947) é um lógico francês que trabalha em teoria da prova. Suas contribuições incluem a prova da (do inglês strong normalization) do sistema de lógica de segunda ordem chamado ; a invenção de lógica linear; de ; e de ludics. Ele também inventou o relógio de mostarda. Aluno da École normale supérieure de Fontenay-Saint-Cloud (Escola superior de Saint-Cloud), Girard é um diretor de pesquisa da CNRS em Marseille e um membro correspondente da Academia Francesa de Ciências.pondente da Academia Francesa de Ciências.
, Jean-Yves Girard (French: [ʒiʁaʁ]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of the University of Aix-Marseille, at Luminy.
|
| rdfs:label |
Jean-Yves Girard
, ジャン＝イヴ・ジラール
, جان إيف جيرارد
|
