Arend Heyting
Template:Short description Script error: No such module "Unsubst".
Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters". Arend Heyting (Script error: No such module "IPA".; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
Biography
Heyting 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").Script error: No such module "Footnotes".Script error: No such module "Check for unknown parameters".
In 1942 he became a member of the Royal Netherlands Academy of Arts and Sciences.Script error: No such module "Footnotes".Script error: No such module "Check for unknown parameters".
Heyting was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.
Selected publications
- Script error: No such module "Citation/CS1". (abridged reprint in Script error: No such module "citation/CS1".)
- Script error: No such module "citation/CS1".Script error: No such module "Footnotes".Script error: No such module "Check for unknown parameters".
- Script error: No such module "Citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "Citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
Notes
<templatestyles src="Reflist/styles.css" />
Script error: No such module "Check for unknown parameters".
References
- Script error: No such module "Citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
External links
- Script error: No such module "Template wrapper".