Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Arend_Heyting> ?p ?o. }
- Arend_Heyting abstract "Arend Heyting (Dutch: [ˈɦɛitɪŋ]; May 9, 1898 – July 9, 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").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 viafId "17289656".
- Arend_Heyting wikiPageID "1180911".
- Arend_Heyting wikiPageRevisionID "587383037".
- Arend_Heyting almaMater "University of Amsterdam".
- Arend_Heyting birthDate "1898-05-09".
- Arend_Heyting birthPlace Amsterdam.
- Arend_Heyting birthPlace Netherlands.
- 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 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 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:People_from_Amsterdam.
- Arend_Heyting subject Category:University_of_Amsterdam_alumni.
- Arend_Heyting subject Category:University_of_Amsterdam_faculty.
- Arend_Heyting type CausalAgent100007347.
- Arend_Heyting type DutchMathematicians.
- Arend_Heyting type LivingThing100004258.
- Arend_Heyting type Mathematician110301261.
- Arend_Heyting type Object100002684.
- Arend_Heyting type Organism100004475.
- Arend_Heyting type PeopleFromAmsterdam.
- Arend_Heyting type Person100007846.
- Arend_Heyting type PhysicalEntity100001930.
- Arend_Heyting type Scientist110560637.
- Arend_Heyting type Whole100003553.
- Arend_Heyting type YagoLegalActor.
- Arend_Heyting type YagoLegalActorGeo.
- Arend_Heyting type Agent.
- Arend_Heyting type Person.
- Arend_Heyting type Scientist.
- Arend_Heyting type Person.
- Arend_Heyting type Q215627.
- Arend_Heyting type Q5.
- Arend_Heyting type Agent.
- Arend_Heyting type NaturalPerson.
- Arend_Heyting type Thing.
- Arend_Heyting type Person.
- Arend_Heyting comment "Arend Heyting (Dutch: [ˈɦɛitɪŋ]; May 9, 1898 – July 9, 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.".
- Arend_Heyting label "Arend Heyting".
- Arend_Heyting label "Arend Heyting".
- Arend_Heyting label "Arend Heyting".
- Arend_Heyting label "Arend Heyting".
- Arend_Heyting label "Arend Heyting".
- Arend_Heyting label "Arend Heyting".
- Arend_Heyting label "Arend Heyting".
- Arend_Heyting label "Гейтинг, Аренд".
- Arend_Heyting label "アレン・ハイティング".
- Arend_Heyting label "阿蘭德·海廷".
- Arend_Heyting sameAs Arend_Heyting.
- Arend_Heyting sameAs Arend_Heyting.
- Arend_Heyting sameAs Arend_Heyting.
- Arend_Heyting sameAs Arend_Heyting.
- Arend_Heyting sameAs アレン・ハイティング.
- Arend_Heyting sameAs Arend_Heyting.
- Arend_Heyting sameAs Arend_Heyting.
- Arend_Heyting sameAs m.04f1gb.
- Arend_Heyting sameAs Q641771.
- Arend_Heyting sameAs Q641771.
- Arend_Heyting sameAs Arend_Heyting.
- Arend_Heyting wasDerivedFrom Arend_Heyting?oldid=587383037.
- Arend_Heyting givenName "Arend".
- Arend_Heyting isPrimaryTopicOf Arend_Heyting.