Arend Heyting

Arend Heyting

Scientist Less

Arend Heyting

to get instant updates about 'Arend Heyting' on your MyPage. Meet other similar minded people. Its Free!


All Updates

Arend Heyting (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").Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.

Heyting was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.

See also

Selected publications

  • Heyting, A. (1956) Intuitionism. An introduction. North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (German) Reprint. Springer-Verlag, Berlin–New York.
  • Heijting, A. (1973) Address to Professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A.Robinson on the 26th April 1973. Nieuw Arch. Wisk. (3) 21, pp. 134—137.
  • Heyting, A. (1966) Intuitionism: An introduction. Second revised edition North-Holland Publishing Co., Amsterdam.
  • Heyting, A. (1962)......
  • ...

Read More

No feeds found

wait Posting your question. Please wait!...


No messages found
Tell your friends >
about this page
 Create a new Page
for companies, colleges, celebrities or anything you like.Get updates on MyPage.
Create a new Page
 Find your friends
  Find friends on MyPage from