GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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