Ontify
⌘
S
⌘
S
Share
Arend Heyting
A. Heyting
Dutch mathematician and logician (1898-1980).
Wikipedia | Arend Heyting
External Pages About Arend Heyting
ISNI
Encyclopædia Britannica Online
Goodreads Author
Statements about
Arend Heyting
Occupation
Mathematician
University Teacher
Country of Citizenship
Kingdom of the Netherlands
Date of Birth
5/9/1898
Date of Death
7/9/1980
Instance Of
Human
Place of Birth
Amsterdam
Place of Death
Employer
Image
Educated At
Member Of
Royal Netherlands Academy of Arts and Sciences
Given Name
Arend
Native Language
Dutch
Doctoral Advisor
Field of Work
Languages Spoken, Written or Signed
Dutch
German
Sex or Gender
Male
Described by Source
Obálky Knih
URL
:
bug2: http://wikiba.se/ontology#Url
Academic Thesis
Notable Work
Heyting Algebra
Student Of
Family Name
Mathematics
Luitzen Egbertus Jan Brouwer
(1925)
Point in Time
:
1925
Luitzen Egbertus Jan Brouwer
University of Amsterdam
(4/12/1965 - 9/1/1968)
Position Held
:
Dutch Ordinary Professor
Part Of
:
Q62512369
End Cause
:
Emeritus
Start Time
:
4/12/1965
End Time
:
9/1/1968
University of Amsterdam
(4/12/1965 - 9/1/1968)
Position Held
:
Dutch Ordinary Professor
Part Of
:
Q62512477
End Cause
:
Emeritus
Start Time
:
4/12/1965
End Time
:
9/1/1968
University of Amsterdam
(10/1/1948 - 4/12/1965)
Position Held
:
Dutch Ordinary Professor
Part Of
:
Faculty of Mathematics and Physics
Start Time
:
10/1/1948
End Time
:
4/12/1965
University of Amsterdam
(9/15/1937 - 5/21/1948)
Position Held
:
Lecturer
Part Of
:
Faculty of Mathematics and Physics
Start Time
:
9/15/1937
End Time
:
5/21/1948
University of Amsterdam
(1916 - 1922)
Start Time
:
1916
End Time
:
1922
Logic
Lugano
Brouwer–Heyting–Kolmogorov Interpretation
Enschede Municipal Lyceum
(1922 - 1936)
Start Time
:
1922
End Time
:
1936
Free Heyting Algebra
Gerrit Mannoury
Heyting Field
Heyting
Complete Heyting Algebra
Intuitionistische Axiomatiek Der Projectieve Meetkunde
URL
:
bug2: http://wikiba.se/ontology#Url
Publication Date
:
1925
Heyting Arithmetic
Wikidata
