GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Jean-Louis Krivine
URI:
https://gptkb.org/entity/Jean-Louis_Krivine
GPTKB entity
Statements (18)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:École_Normale_Supérieure
gptkbp:awardReceived
gptkb:Grand_Prix_de_l’Académie_des_Sciences
gptkbp:birthDate
1939-07-21
gptkbp:birthPlace
gptkb:Paris
gptkbp:deathDate
2022-03-27
gptkbp:doctoralAdvisor
gptkb:Henri_Cartan
gptkbp:field
gptkb:lambda_calculus
gptkb:logic
gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label
Jean-Louis Krivine
gptkbp:knownFor
gptkb:Krivine_machine
work on classical realizability
gptkbp:memberOf
gptkb:French_Academy_of_Sciences
gptkbp:nationality
gptkb:French
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Foundations_of_mathematics
gptkbp:bfsLayer
5