This HTML5 document contains 177 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n27https://dblp.org/pid/g/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6http://www-lipn.univ-paris13.fr/jyg60/
n33https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n22http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n21http://viaf.org/viaf/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n19https://archive.org/details/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n24http://ht.dbpedia.org/resource/
n23http://d-nb.info/gnd/
n11http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Jean-Yves_Girard
rdf:type
yago:Wikicat21st-centuryMathematicians yago:Mathematician110301261 yago:Organism100004475 dbo:Eukaryote yago:CausalAgent100007347 yago:Scientist110560637 dbo:Animal n17:NaturalPerson owl:Thing yago:Logician110269785 dbo:Scientist schema:Person yago:PhysicalEntity100001930 yago:WikicatFrenchLogicians yago:WikicatLivingPeople wikidata:Q19088 dbo:Species yago:Expert109617867 yago:WikicatENSFontenay-Saint-Cloud-LyonAlumni yago:Theorist110706812 yago:WikicatPeopleFromLyon wikidata:Q901 yago:WikicatFrenchPeople wikidata:Q5 yago:LivingThing100004258 yago:Wikicat20th-centuryMathematicians wikidata:Q729 yago:Alumnus109786338 yago:Object100002684 wikidata:Q215627 foaf:Person yago:WikicatProofTheorists yago:Intellectual109621545 yago:Person100007846 yago:Whole100003553 yago:WikicatFrenchMathematicians yago:YagoLegalActor yago:YagoLegalActorGeo yago:Philosopher110423589 dbo:Person yago:WikicatFrenchPhilosophers yago:Scholar110557854
rdfs:label
جان إيف جيرارد Jean-Yves Girard Jean-Yves Girard ジャン=イヴ・ジラール Jean-Yves Girard Jean-Yves Girard
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. 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. جان إيف جيرارد (بالفرنسية: Jean-Yves Girard)‏ هو رياضياتي وفيلسوف فرنسي، ولد في 1947 في ليون في فرنسا. 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 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. ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
foaf:name
Jean-Yves Girard
dbp:name
Jean-Yves Girard
dbo:birthPlace
dbr:Lyon
dbp:birthPlace
Lyon, France
dcterms:subject
dbc:Members_of_the_French_Academy_of_Sciences dbc:ENS_Fontenay-Saint-Cloud-Lyon_alumni dbc:1947_births dbc:CNRS_scientists dbc:French_male_non-fiction_writers dbc:Living_people dbc:French_logicians dbc:French_mathematicians dbc:Proof_theorists dbc:French_philosophers
dbo:wikiPageID
579673
dbo:wikiPageRevisionID
1112303950
dbo:wikiPageWikiLink
dbr:William_W._Tait dbr:Girard's_paradox dbr:Faculte_des_Sciences_de_Luminy dbr:CNRS dbr:Emeritus dbr:Dag_Prawitz dbr:Takeuti's_conjecture dbr:Poncelet_Prize dbc:Members_of_the_French_Academy_of_Sciences dbr:Linear_logic dbr:CNRS_Silver_medal dbc:ENS_Fontenay-Saint-Cloud-Lyon_alumni dbr:French_Academy_of_Sciences dbr:Strong_normalization dbr:Affine_logic dbr:Second-order_logic dbr:Proof_theory dbc:1947_births dbc:CNRS_scientists dbr:System_U dbc:French_logicians dbr:Geometry_of_interaction dbc:French_male_non-fiction_writers dbr:Logic dbr:Logician dbc:Living_people dbr:CNRS_Silver_Medal dbr:Ludics dbc:Proof_theorists dbc:French_mathematicians dbr:École_normale_supérieure_de_Saint-Cloud dbr:System_F dbr:Lyon dbr:Paris_Diderot_University dbr:Cambridge_University_Press dbc:French_philosophers dbr:Coherent_space dbr:University_of_Aix-Marseille dbr:Proof_net
dbo:wikiPageExternalLink
n6:index-en.php n19:proofstypes0000gira%7Curl-access=registration%7Cpublisher=
owl:sameAs
yago-res:Jean-Yves_Girard n11:p073055409 dbpedia-ar:جان_إيف_جيرارد n22:جان_ايف_جيرارد n23:172098351 n24:Jean-Yves_Girard dbpedia-ja:ジャン=イヴ・ジラール n27:JeanYvesGirard freebase:m.02s1g0 dbpedia-de:Jean-Yves_Girard dbpedia-fr:Jean-Yves_Girard dbpedia-pt:Jean-Yves_Girard wikidata:Q3087821 n33:2roje n21:84575083
dbp:workplaces
dbr:CNRS
dbp:wikiPageUsesTemplate
dbt:France-mathematician-stub dbt:Short_description dbt:Use_dmy_dates dbt:Birth_year_and_age dbt:Infobox_scientist dbt:Ill dbt:MathGenealogy dbt:DBLP dbt:Official_website dbt:Authority_control dbt:Cite_book dbt:IPA-fr dbt:Reflist
dbp:almaMater
dbr:École_normale_supérieure_de_Saint-Cloud dbr:Paris_Diderot_University
dbp:awards
dbr:CNRS_Silver_Medal dbr:Poncelet_Prize
dbp:fields
dbr:Logic
dbp:knownFor
dbr:Linear_logic dbr:Geometry_of_interaction dbr:Ludics dbr:Coherent_space dbr:Proof_net dbr:System_F dbr:System_U
dbp:nationality
French
dbo:abstract
ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。 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. 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. 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. 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 في ليون في فرنسا.
dbo:institution
dbr:CNRS
gold:hypernym
dbr:Logician
schema:sameAs
n21:84575083
prov:wasDerivedFrom
wikipedia-en:Jean-Yves_Girard?oldid=1112303950&ns=0
dbo:wikiPageLength
3998
dbo:academicDiscipline
dbr:Logic
dbo:almaMater
dbr:Paris_Diderot_University dbr:École_normale_supérieure_de_Saint-Cloud
dbo:award
dbr:Poncelet_Prize dbr:CNRS_Silver_Medal
dbo:knownFor
dbr:System_U dbr:Ludics dbr:Geometry_of_interaction dbr:System_F dbr:Linear_logic dbr:Proof_net dbr:Coherent_space
foaf:isPrimaryTopicOf
wikipedia-en:Jean-Yves_Girard