Anne Sjerp Troelstra

URI: https://gptkb.org/entity/Anne_Sjerp_Troelstra
GPTKB entity
Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:mathematician
gptkb:person
gptkbp:almaMater gptkb:University_of_Amsterdam
gptkbp:birthDate 1939-08-10
gptkbp:deathDate 2019-03-07
gptkbp:doctoralAdvisor gptkb:Arend_Heyting
gptkbp:employer gptkb:University_of_Amsterdam
gptkbp:field gptkb:logic
constructivism
proof theory
intuitionism
https://www.w3.org/2000/01/rdf-schema#label Anne Sjerp Troelstra
gptkbp:memberOf gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality Dutch
gptkbp:notableStudent gptkb:Ieke_Moerdijk
gptkbp:notableWork gptkb:Constructivism_in_Mathematics:_An_Introduction
gptkb:Metamathematical_Investigation_of_Intuitionistic_Arithmetic_and_Analysis
gptkbp:placeOfBirth gptkb:Maartensdijk,_Netherlands
gptkbp:placeOfDeath gptkb:Amsterdam,_Netherlands
gptkbp:bfsParent gptkb:Ieke_Moerdijk
gptkbp:bfsLayer 6