Properties (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:almaMater |
gptkb:University_of_Amsterdam
|
| gptkbp:awards |
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
| gptkbp:birthDate |
1898-05-16
|
| gptkbp:deathDate |
1980-12-27
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Arend Heyting
|
| gptkbp:influenced |
gptkb:W._A._de_Jongh
|
| gptkbp:influencedBy |
gptkb:Luitzen_Egbertus_Jan_Brouwer
|
| gptkbp:knownFor |
Intuitionistic logic
|
| gptkbp:nationality |
Dutch
|
| gptkbp:notableAlumni |
Heyting algebra
|
| gptkbp:occupation |
Logician
|
| gptkbp:patentDescription |
Intuitionism: An Introduction
|