Arend Heyting

URI: https://gptkb.org/entity/Arend_Heyting
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Amsterdam
gptkbp:birthDate 1898-05-09
gptkbp:birthPlace gptkb:Amsterdam
gptkbp:deathDate 1980-07-09
gptkbp:deathPlace gptkb:Amsterdam
gptkbp:doctoralAdvisor gptkb:L.E.J._Brouwer
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Arend Heyting
gptkbp:influencedBy gptkb:L.E.J._Brouwer
gptkbp:knownFor gptkb:Heyting_algebra
intuitionistic logic
gptkbp:memberOf gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality Dutch
gptkbp:notableWork Intuitionism: An Introduction
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:bfsParent gptkb:Heyting_algebra
gptkb:L.E.J._Brouwer
gptkbp:bfsLayer 5