GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
A. S. Troelstra
URI:
https://gptkb.org/entity/A._S._Troelstra
GPTKB entity
Statements (23)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:awardReceived
gptkb:L._E._J._Brouwer_Medal
gptkbp:birthDate
1939-08-10
gptkbp:birthPlace
gptkb:Maartensdijk,_Netherlands
gptkbp:deathDate
2019-03-07
gptkbp:deathPlace
gptkb:Amsterdam,_Netherlands
gptkbp:doctoralAdvisor
gptkb:Arend_Heyting
gptkbp:employer
gptkb:University_of_Amsterdam
gptkbp:field
gptkb:logic
proof theory
intuitionism
gptkbp:fullName
gptkb:Anne_Sjerp_Troelstra
https://www.w3.org/2000/01/rdf-schema#label
A. S. Troelstra
gptkbp:language
Dutch
English
gptkbp:memberOf
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality
Dutch
gptkbp:notableWork
gptkb:Basic_Proof_Theory
gptkb:Constructivism_in_Mathematics
gptkb:Metamathematical_Investigation_of_Intuitionistic_Arithmetic_and_Analysis
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Peter_Freyd
gptkbp:bfsLayer
6