Anne Troelstra

URI: https://gptkb.org/entity/Anne_Troelstra
GPTKB entity
Statements (22)
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 Troelstra
gptkbp:memberOf gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality Dutch
gptkbp:notableStudent gptkb:Dirk_van_Dalen
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:Evert_Willem_Beth
gptkb:Pieter_Jelles_Troelstra
gptkbp:bfsLayer 6