Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Arend_Heyting> ?p ?o }
- Arend_Heyting abstract "Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. The inclusion of Brouwer's name in the Brouwer–Heyting–Kolmogorov interpretation is largely honorific, as Brouwer was opposed in principle to the formalisation of certain intuitionistic principles (and went as far as calling Heyting's work a \"sterile exercise\").In 1942 he became member of the Royal Netherlands Academy of Arts and Sciences.Heyting was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.".
- Arend_Heyting almaMater University_of_Amsterdam.
- Arend_Heyting birthDate "1898-05-09".
- Arend_Heyting birthPlace Amsterdam.
- Arend_Heyting birthPlace Netherlands.
- Arend_Heyting deathDate "1980-07-09".
- Arend_Heyting deathPlace Lugano.
- Arend_Heyting deathPlace Switzerland.
- Arend_Heyting doctoralAdvisor L._E._J._Brouwer.
- Arend_Heyting doctoralStudent Anne_Sjerp_Troelstra.
- Arend_Heyting doctoralStudent Dirk_van_Dalen.
- Arend_Heyting doctoralStudent Jan_Mooij.
- Arend_Heyting field Mathematics.
- Arend_Heyting nationality Netherlands.
- Arend_Heyting thumbnail Arend_Heyting_(1967).jpg?width=300.
- Arend_Heyting wikiPageID "1180911".
- Arend_Heyting wikiPageLength "4552".
- Arend_Heyting wikiPageOutDegree "33".
- Arend_Heyting wikiPageRevisionID "703893542".
- Arend_Heyting wikiPageWikiLink Amsterdam.
- Arend_Heyting wikiPageWikiLink Anne_Sjerp_Troelstra.
- Arend_Heyting wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Arend_Heyting wikiPageWikiLink Category:1898_births.
- Arend_Heyting wikiPageWikiLink Category:1980_deaths.
- Arend_Heyting wikiPageWikiLink Category:Dutch_mathematicians.
- Arend_Heyting wikiPageWikiLink Category:Intuitionism.
- Arend_Heyting wikiPageWikiLink Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Arend_Heyting wikiPageWikiLink Category:People_from_Amsterdam.
- Arend_Heyting wikiPageWikiLink Category:University_of_Amsterdam_alumni.
- Arend_Heyting wikiPageWikiLink Category:University_of_Amsterdam_faculty.
- Arend_Heyting wikiPageWikiLink Dirk_van_Dalen.
- Arend_Heyting wikiPageWikiLink Heyting_algebra.
- Arend_Heyting wikiPageWikiLink Heyting_arithmetic.
- Arend_Heyting wikiPageWikiLink Intuitionistic_logic.
- Arend_Heyting wikiPageWikiLink Jan_Mooij.
- Arend_Heyting wikiPageWikiLink L._E._J._Brouwer.
- Arend_Heyting wikiPageWikiLink Logic.
- Arend_Heyting wikiPageWikiLink Lugano.
- Arend_Heyting wikiPageWikiLink Mathematical_logic.
- Arend_Heyting wikiPageWikiLink Mathematician.
- Arend_Heyting wikiPageWikiLink Mathematics.
- Arend_Heyting wikiPageWikiLink Netherlands.
- Arend_Heyting wikiPageWikiLink Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Arend_Heyting wikiPageWikiLink Switzerland.
- Arend_Heyting wikiPageWikiLink University_of_Amsterdam.
- Arend_Heyting wikiPageWikiLinkText "Arend Heyting".
- Arend_Heyting wikiPageWikiLinkText "Heiting".
- Arend_Heyting wikiPageWikiLinkText "Heyting".
- Arend_Heyting wikiPageWikiLinkText "Heyting, Arend".
- Arend_Heyting almaMater "University of Amsterdam".
- Arend_Heyting birthDate "1898-05-09".
- Arend_Heyting birthPlace Amsterdam.
- Arend_Heyting birthPlace Netherlands.
- Arend_Heyting caption "Arend Heyting".
- Arend_Heyting deathDate "1980-07-09".
- Arend_Heyting deathPlace Lugano.
- Arend_Heyting deathPlace Switzerland.
- Arend_Heyting doctoralAdvisor L._E._J._Brouwer.
- Arend_Heyting doctoralStudents Anne_Sjerp_Troelstra.
- Arend_Heyting doctoralStudents Dirk_van_Dalen.
- Arend_Heyting doctoralStudents Jan_Mooij.
- Arend_Heyting fields Mathematics.
- Arend_Heyting name "Arend Heyting".
- Arend_Heyting nationality "Dutch".
- Arend_Heyting wikiPageUsesTemplate Template:Authority_control.
- Arend_Heyting wikiPageUsesTemplate Template:Birth_date.
- Arend_Heyting wikiPageUsesTemplate Template:Death_date_and_age.
- Arend_Heyting wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Arend_Heyting wikiPageUsesTemplate Template:IPA-nl.
- Arend_Heyting wikiPageUsesTemplate Template:Infobox_scientist.
- Arend_Heyting wikiPageUsesTemplate Template:MacTutor_Biography.
- Arend_Heyting wikiPageUsesTemplate Template:MathGenealogy.
- Arend_Heyting wikiPageUsesTemplate Template:Netherlands-scientist-stub.
- Arend_Heyting workplaces University_of_Amsterdam.
- Arend_Heyting subject Category:1898_births.
- Arend_Heyting subject Category:1980_deaths.
- Arend_Heyting subject Category:Dutch_mathematicians.
- Arend_Heyting subject Category:Intuitionism.
- Arend_Heyting subject Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Arend_Heyting subject Category:People_from_Amsterdam.
- Arend_Heyting subject Category:University_of_Amsterdam_alumni.
- Arend_Heyting subject Category:University_of_Amsterdam_faculty.
- Arend_Heyting hypernym Mathematician.
- Arend_Heyting type Agent.
- Arend_Heyting type Person.
- Arend_Heyting type Scientist.
- Arend_Heyting type Surname.
- Arend_Heyting type Person.
- Arend_Heyting type Mathematician.
- Arend_Heyting type Redirect.
- Arend_Heyting type Scientist.
- Arend_Heyting type Surname.
- Arend_Heyting type Theory.
- Arend_Heyting type Agent.
- Arend_Heyting type NaturalPerson.
- Arend_Heyting type Thing.
- Arend_Heyting type Q215627.
- Arend_Heyting type Q5.
- Arend_Heyting type Q901.
- Arend_Heyting type Person.