Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q641771> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- Q641771 subject Q6469826.
- Q641771 subject Q6561391.
- Q641771 subject Q6562369.
- Q641771 subject Q6801469.
- Q641771 subject Q6824148.
- Q641771 subject Q7002103.
- Q641771 subject Q8552080.
- Q641771 subject Q8620291.
- Q641771 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.".
- Q641771 almaMater Q214341.
- Q641771 birthDate "1898-05-09".
- Q641771 birthPlace Q55.
- Q641771 birthPlace Q727.
- Q641771 deathDate "1980-07-09".
- Q641771 deathPlace Q39.
- Q641771 deathPlace Q7024.
- Q641771 doctoralAdvisor Q155887.
- Q641771 doctoralStudent Q1228141.
- Q641771 doctoralStudent Q565846.
- Q641771 field Q395.
- Q641771 nationality Q55.
- Q641771 thumbnail Arend_Heyting_(1967).jpg?width=300.
- Q641771 wikiPageWikiLink Q1166618.
- Q641771 wikiPageWikiLink Q1228141.
- Q641771 wikiPageWikiLink Q155887.
- Q641771 wikiPageWikiLink Q1617044.
- Q641771 wikiPageWikiLink Q170790.
- Q641771 wikiPageWikiLink Q176786.
- Q641771 wikiPageWikiLink Q214341.
- Q641771 wikiPageWikiLink Q253439.
- Q641771 wikiPageWikiLink Q3153567.
- Q641771 wikiPageWikiLink Q39.
- Q641771 wikiPageWikiLink Q395.
- Q641771 wikiPageWikiLink Q55.
- Q641771 wikiPageWikiLink Q5548813.
- Q641771 wikiPageWikiLink Q565846.
- Q641771 wikiPageWikiLink Q6469826.
- Q641771 wikiPageWikiLink Q6561391.
- Q641771 wikiPageWikiLink Q6562369.
- Q641771 wikiPageWikiLink Q6801469.
- Q641771 wikiPageWikiLink Q6824148.
- Q641771 wikiPageWikiLink Q7002103.
- Q641771 wikiPageWikiLink Q7024.
- Q641771 wikiPageWikiLink Q727.
- Q641771 wikiPageWikiLink Q8078.
- Q641771 wikiPageWikiLink Q8552080.
- Q641771 wikiPageWikiLink Q8620291.
- Q641771 almaMater "University of Amsterdam".
- Q641771 birthDate "1898-05-09".
- Q641771 birthPlace Q55.
- Q641771 birthPlace Q727.
- Q641771 deathDate "1980-07-09".
- Q641771 deathPlace Q39.
- Q641771 deathPlace Q7024.
- Q641771 doctoralAdvisor Q155887.
- Q641771 doctoralStudents Q1228141.
- Q641771 doctoralStudents Q565846.
- Q641771 fields Q395.
- Q641771 name "Arend Heyting".
- Q641771 nationality "Dutch".
- Q641771 type Person.
- Q641771 type Agent.
- Q641771 type Person.
- Q641771 type Scientist.
- Q641771 type Agent.
- Q641771 type NaturalPerson.
- Q641771 type Thing.
- Q641771 type Q215627.
- Q641771 type Q5.
- Q641771 type Q901.
- Q641771 type Person.
- Q641771 comment "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.".
- Q641771 label "Arend Heyting".
- Q641771 depiction Arend_Heyting_(1967).jpg.
- Q641771 name "Arend Heyting".