Category:Arend Heyting

**Arend Heyting**
	Dutch mathematician and logician (1898-1980)
	Upload media
	Wikipedia
Date of birth	9 May 1898; Amsterdam
Date of death	9 July 1980; Lugano
Country of citizenship	Kingdom of the Netherlands;
Educated at	University of Amsterdam (1916–1922);
Doctoral advisor	Luitzen Egbertus Jan Brouwer (1925);
Doctoral student	Anne Sjerp Troelstra (1966); Dirk van Dalen (1963); Christopher G. Gibson (1967); Bob van Rootselaar (1954); Jan Johann Albinn Mooij (1966); J. J. W. Berghuys (1952); Jacobus Gerhardus Dijkman (1952); Gerard Willem Decnop (1951); Ashvini Kumar (1966);
Occupation	mathematician; university teacher;
Employer	University of Amsterdam (emeritus, Q62512369, Dutch ordinary professor, 1965–1968); University of Amsterdam (emeritus, Q62512477, Dutch ordinary professor, 1965–1968); University of Amsterdam (Faculty of Mathematics and Physics, Dutch ordinary professor, 1948–1965); University of Amsterdam (Faculty of Mathematics and Physics, lecturer, 1937–1948); Q2658642 (1922–1936);
Member of	Royal Netherlands Academy of Arts and Sciences;
Field of work	mathematics; logic;
Native language	Dutch;
Notable work	Heyting algebra; Brouwer–Heyting–Kolmogorov interpretation; Heyting arithmetic; complete Heyting algebra; Heyting field; free Heyting algebra;
Authority file
	Q641771; ISNI: 0000000108555789; VIAF ID: 17289656; GND ID: 1027693091; Library of Congress authority ID: n80006204; Bibliothèque nationale de France ID: 123086774; IdRef ID: 027663426; Biografisch Portaal van Nederland ID: 64214067; NL CR AUT ID: mzk2015869227; Nationale Thesaurus voor Auteursnamen ID: 068357044; NORAF ID: 90226654; NUKAT ID: n01046091; PLWABN ID: 9810673595405606; National Library of Israel J9U ID: 987007279140305171; NACSIS-CAT author ID: DA00234624; Digitale Bibliotheek voor de Nederlandse Letteren author ID: heyt004; Mathematics Genealogy Project ID: 45623
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

English: Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.

Media in category "Arend Heyting"

The following 4 files are in this category, out of 4 total.

Arend Heyting (1967).jpg 1,445 × 1,927; 1.2 MB
Derde Internationaal Congres for Log. Methodology and Philosophy of Science in K, Bestanddeelnr 920-6386.jpg 3,648 × 2,406; 1.26 MB
Derde Internationaal Congres for Log. Methodology and Philosophy of Science in K, Bestanddeelnr 920-6387.jpg 3,648 × 2,406; 1.2 MB
Derde Internationaal Congres for Log. Methodology and Philosophy of Science in K, Bestanddeelnr 920-6388.jpg 2,406 × 3,648; 1.58 MB

Category:Arend Heyting

Media in category "Arend Heyting"

Navigation menu

Search