Arend Heyting - CaLiGraph

Property	Value
rdf:type	Scientist from Amsterdam owl:NamedIndividual 1898 birth 1980 death Dutch logician Dutch mathematician International Congresses of Mathematicians Plenary and Invited Speakers Mathematician born in the 19th century Member of the Royal Netherlands Academy of Arts and Sciences
rdfs:label	Arend Heyting
owl:sameAs	dbr:Arend_Heyting
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Second_Conference_on_the_Epistemology_of_the_Exact_Sciences http://en.wikipedia.org/wiki/Category:1898_births http://en.wikipedia.org/wiki/Category:1980_deaths http://en.wikipedia.org/wiki/Category:Dutch_logicians http://en.wikipedia.org/wiki/List_of_Dutch_people http://en.wikipedia.org/wiki/List_of_logicians http://en.wikipedia.org/wiki/Intuitionism http://en.wikipedia.org/wiki/Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences_(H) http://en.wikipedia.org/wiki/Category:Dutch_mathematicians http://en.wikipedia.org/wiki/Category:Dutch_mathematicians_by_century http://en.wikipedia.org/wiki/Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers http://en.wikipedia.org/wiki/List_of_mathematicians_born_in_the_19th_century http://en.wikipedia.org/wiki/Category:Scientists_from_Amsterdam http://en.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics) http://en.wikipedia.org/wiki/Arend_(given_name) http://en.wikipedia.org/wiki/Timeline_of_category_theory_and_related_mathematics
skos:prefLabel	Arend Heyting
skos:altLabel	Heyting Heyting, Arend
clgo:academicDiscipline	Mathematics
clgo:almaMater	University of Amsterdam
clgo:birthDate	1898-05-09
clgo:birthPlace	Netherlands Amsterdam
clgo:birthYear	1898
clgo:deathDate	1980-07-09
clgo:deathPlace	Lugano Switzerland
clgo:deathYear	1980
clgo:doctoralAdvisor	L. E. J. Brouwer
clgo:doctoralStudent	Dirk van Dalen Anne Sjerp Troelstra
clgo:institution	University of Amsterdam
clgo:knownFor	Intuitionistic logic Heyting arithmetic Heyting algebra Intuitionism Brouwer–Heyting–Kolmogorov interpretation Heyting field
is clgo:doctoralAdvisor of	Anne Sjerp Troelstra
is clgo:doctoralStudent of	L. E. J. Brouwer
is clgo:influencedBy of	Andrzej Grzegorczyk

About: clgr:Arend_Heyting