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