Arend Heyting
Mathematician, Academic
1898 – 1980
Who was Arend Heyting?
Arend Heyting 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.
Heyting was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.
We need you!
Help us build the largest biographies collection on the web!
- Born
- May 9, 1898
Amsterdam - Also known as
- A. Heyting
- Nationality
- Netherlands
- Profession
- Education
- Universiteit van Amsterdam
- Lived in
- Amsterdam
- Died
- Jul 9, 1980
Lugano
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Arend Heyting." Biographies.net. STANDS4 LLC, 2024. Web. 26 Apr. 2024. <https://www.biographies.net/people/en/arend_heyting>.
Discuss this Arend Heyting biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In