Matches in DBpedia 2015-10 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 birthYear "1898".
- Arend_Heyting deathDate "1980-07-09".
- Arend_Heyting deathPlace Lugano.
- Arend_Heyting deathPlace Switzerland.
- Arend_Heyting deathYear "1980".
- 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 "4883".
- Arend_Heyting wikiPageOutDegree "37".
- Arend_Heyting wikiPageRevisionID "676082429".
- 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 Logician.
- Arend_Heyting wikiPageWikiLink Lugano.
- Arend_Heyting wikiPageWikiLink Luitzen_Egbertus_Jan_Brouwer.
- 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 dateOfBirth "1898-05-09".
- Arend_Heyting dateOfDeath "1980-07-09".
- Arend_Heyting deathDate "1980-07-09".
- Arend_Heyting deathPlace Lugano.
- Arend_Heyting deathPlace Switzerland.
- Arend_Heyting doctoralAdvisor L._E._J._Brouwer.
- Arend_Heyting doctoralAdvisor Luitzen_Egbertus_Jan_Brouwer.
- Arend_Heyting doctoralStudents Anne_Sjerp_Troelstra.
- Arend_Heyting doctoralStudents Dirk_van_Dalen.
- Arend_Heyting doctoralStudents Jan_Mooij.
- Arend_Heyting fields Mathematics.
- Arend_Heyting hasPhotoCollection Arend_Heyting.
- Arend_Heyting name "Arend Heyting".
- Arend_Heyting name "Heyting, Arend".
- Arend_Heyting nationality "Dutch".
- Arend_Heyting placeOfBirth Amsterdam.
- Arend_Heyting placeOfBirth Netherlands.
- Arend_Heyting placeOfDeath Lugano.
- Arend_Heyting placeOfDeath Switzerland.
- Arend_Heyting shortDescription "Dutch mathematician".
- Arend_Heyting wikiPageUsesTemplate Template:Authority_control.
- 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 wikiPageUsesTemplate Template:Persondata.
- Arend_Heyting workplaces University_of_Amsterdam.
- Arend_Heyting description "Dutch mathematician".
- Arend_Heyting description "Dutch mathematician".
- 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 Article.