Jean-Louis Krivine

URI: https://gptkb.org/entity/Jean-Louis_Krivine

GPTKB entity

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
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	6
https://www.w3.org/2000/01/rdf-schema#label	Jean-Louis Krivine