Matches in DBpedia 2014 for { ?s ?p 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.. }
Showing items 1 to 1 of
1
with 100 items per page.
- 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.".