Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03394934n
Noun Named Entity
Categories: Lógicos da França, Membros da Academia de Ciências da França, Matemáticos da França, Nascidos em 1947
PT
Jean-Yves Girard
PT
Jean-Yves Girard é um lógico francês que trabalha em Teoria da Prova. Wikipedia
Definitions
Relations
Sources
PT
Jean-Yves Girard é um lógico francês que trabalha em Teoria da Prova. Wikipedia
IS A
humano
AWARD RECEIVED
Prêmio Poncelet
EN
CNRS Silver Medal
COUNTRY OF CITIZENSHIP
frança
DOCTORAL ADVISOR
Jean-Louis Krivine
EDUCATED AT
École normale supérieure de Fontenay-Saint-Cloud
EMPLOYER
Centre national de la recherche scientifique
FAMILY NAME
Girard
FIELD OF WORK
teoria da prova
GIVEN NAME
Jean-Yves
LANGUAGES SPOKEN, WRITTEN OR SIGNED
francês
MEMBER OF
Académie des Sciences
Academia Europaea
OCCUPATION
matemático
filósofo
PLACE OF BIRTH
lyon
POSITION HELD
EN
Director of Research at CNRS
SEX OR GENDER
masculino
STUDENT OF
Jean-Louis Krivine
Wikipedia
PT
Jean-Yves Girard
Wikidata
PT
Jean-Yves Girard

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License