Editing Arend Heyting

{{Short description|Dutch mathematician and logician (1898–1980)}}
{{Use dmy dates|date=January 2025}}
__NOTOC__
{{Infobox scientist
| name              = Arend Heyting
| image             = Arend Heyting (1967).jpg
| image_size        = 
| caption           = Arend Heyting (1967)
| birth_date        = {{birth date|1898|5|9|df=y}}
| birth_place       = [[Amsterdam]], Netherlands
| death_date        = {{death date and age|1980|7|9|1898|5|9|df=y}}
| death_place       = [[Lugano]], Switzerland
| nationality       = Dutch
| fields            = [[Mathematics]]
| workplaces        = [[University of Amsterdam]]
| alma_mater        = University of Amsterdam
| doctoral_advisor  = [[Luitzen Egbertus Jan Brouwer|L. E. J. Brouwer]]
| doctoral_students = [[Anne Sjerp Troelstra]]<br/>[[Dirk van Dalen]]
| known_for         = [[Heyting algebra]]<br/>[[Heyting arithmetic]]<br/>[[Heyting field]]<br />[[Brouwer–Heyting–Kolmogorov interpretation]]<br />[[Intuitionistic logic]]<br />Contributions to [[intuitionism]]
| awards            = 
}}
'''Arend Heyting''' ({{IPA|nl|ˈaːrənt ˈɦɛitɪŋ|lang}}; 9 May 1898 &ndash; 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").{{sfn|Van Stigt|1990}}

In 1942 he became a member of the [[Royal Netherlands Academy of Arts and Sciences]].{{sfn|Digitaal Wetenschapshistorisch Centrum}}

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

==Selected publications==
*{{cite journal |last=Heyting |first=Arend |year=1930 |title=Die formalen Regeln der intuitionistischen Logik |language=de |journal=Sitzungsberichte der preußischen Akademie der Wissenschaften, phys.-math. Klasse |pages=42–56, 57–71, 158–169|oclc=601568391}} (abridged reprint in {{cite book|editor1-first=Karel|editor1-last=Berka|editor2-first=Lothar|editor2-last=Kreiser|title= Logik-Texte|publisher=[[De Gruyter]]|date=1986| pages=188–192|doi=10.1515/9783112645826|isbn=978-3-11-264582-6 }})

*{{cite book |last=Heyting |first=Arend |author-mask=1|year=1934 |title=Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie |language=de |publisher=Springer |location=Berlin}}{{sfn|Church|1935}}

*{{cite journal |last=Heyting |first=Arend |author-mask=1 |year=1941 |title=Untersuchungen der intuitionistischen Algebra |language=de |journal=Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1 |volume=18 |issue=2 |pages=36}}

*{{cite book |last=Heyting |first=Arend |author-mask=1 |year=1956 |title=Intuitionism. An Introduction |publisher=North-Holland Publishing Co. |location=Amsterdam}}

*{{cite book |last=Heyting |first=Arend |author-mask=1 |year=1959 |chapter=Axioms for intuitionistic plane affine geometry. The axiomatic method. With special reference to geometry and physics |editor-last1=Henkin |editor-first1=L. |editor-last2=Suppes |editor-first2=P. |editor-last3=Tarski |editor-first3=A. |title=Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957–Jan. 4, 1958 |pages=160–173 |series=Studies in Logic and the Foundations of Mathematics |publisher=North-Holland Publishing Co. |location=Amsterdam}}

*{{cite book |last=Heyting |first=Arend |author-mask=1 |year=1962 |chapter=After thirty years |editor-last=Nagel |editor-first=E. |title=Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) |pages=194–197 |publisher=Stanford Univ. Press |location=Stanford, Calif.}}

*{{cite book |last=Heyting |first=Arend |author-mask=1 |year=1963 |title=Axiomatic projective geometry |series=Bibliotheca Mathematica |volume=V |publisher=Interscience Publishers John Wiley & Sons, Inc.; P. Noordhoff N.V.; North-Holland Publishing Co. |location=New York; Groningen; Amsterdam}}

*{{cite book |last=Heyting |first=Arend |author-mask=1 |year=1966 |title=Intuitionism: An Introduction |edition=Second revised|publisher=North-Holland Publishing Co. |location=Amsterdam}}

*{{cite journal |last=Heyting |first=Arend |author-mask=1 |year=1973 |title=Address to Professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A. Robinson on the 26th April 1973 |journal=Nieuw Arch. Wisk. (3) |volume=21 |pages=134–137}}

*{{cite book |last=Heyting |first=Arend |author-mask=1|year=1974 |title=Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie |language=de |edition=Reprint |publisher=Springer-Verlag |location=Berlin–New York}}

*{{cite book |last=Heyting |first=Arend |author-mask=1 |year=1980 |title=Axiomatic projective geometry |edition=Second |series=Bibliotheca Mathematica |volume=V |publisher=Wolters-Noordhoff Scientific Publications, Ltd.; North-Holland Publishing Co. |location=Groningen; Amsterdam–New York}}

==Notes==
{{reflist}}

==References==
*{{cite journal|last=Church|first=Alonzo|authorlink=Alonzo Church|year=1935|title=Review: ''Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie'' by A. Heyting|journal=Bull. Amer. Math. Soc.|volume=41|pages=476–477|doi=10.1090/S0002-9904-1935-06126-9|language=de|doi-access=free}}

*{{cite web|author=Digitaal Wetenschapshistorisch Centrum|url=http://www.dwc.knaw.nl/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845 |title=Arend Heyting (1898 – 1980) |publisher=Royal Netherlands Academy of Arts and Sciences |accessdate=2015-07-28}}

*{{cite book|first=Walter P. |last=Van Stigt|date=1990|title=Brouwer's Intuitionism|location= Amsterdam|publisher= North Holland}}

==External links==
*{{MacTutor Biography|id=Heyting}}

{{Authority control}}

{{DEFAULTSORT:Heyting, Arend}}
[[Category:1898 births]]
[[Category:1980 deaths]]
[[Category:Dutch mathematicians]]
[[Category:Dutch logicians]]
[[Category:Members of the Royal Netherlands Academy of Arts and Sciences]]
[[Category:University of Amsterdam alumni]]
[[Category:Academic staff of the University of Amsterdam]]
[[Category:Scientists from Amsterdam]]
[[Category:Intuitionism]]


{{Netherlands-scientist-stub}}
{{Europe-mathematician-stub}}