Heyting, Arend

From Astro-Databank
Jump to: navigation, search
Heyting, Arend Gender: M
born on 9 May 1898 at 01:00 (= 01:00 AM )
Place Amsterdam, Netherlands, 52n22, 4e54
Timezone LST m4e53 (is standard time)
Data source
BC/BR in hand
Rodden Rating AA
Collector: Astrodienst
Astrology data s_su.18.gif s_taucol.18.gif 18°23' s_mo.18.gif s_sagcol.18.gif 26°50 Asc.s_aqucol.18.gif 01°51'

Arend Heyting (1967)
photo: Jac. de Nijs / Anefo, license cc-by-sa-3.0


Dutch mathematician and logician, a developer of intuitionistic logic and algebra.

He was the eldest son of Johannes Heyting (21 October 1865, Angerlo - 5 June 1948, Amsterdam) and Clarissa Elisabeth Kok (24 December 1868, Winschoten - 14 January 1950, Amsterdam). Both parents were school teachers; Heyting's father was also head of school. He had two younger brothers.

Heyting first intended to become an engineer, later decided to study Mathematics (1916). But to do finance this, Heyting and his father had to earn extra money by giving private lessons. In 1922 Heyting graduated with a degree of master's standard and after this he became a mathematics teacher in Enschede. Here he worked on his dissertation Intuitionistische axiomatieks der projektieve meetkunde (Intuitionistic axiomatics of projective geometry, 1925), the first study of axiomatisation in constructive mathematics written with the help of L.E.J. Brouwer.

The intuitionistic Brouwer and the formalist Hilbert were involved in the Grundlagenstreit involving the tertium non datur principle, the Aristotelian logical principle that something must be either true or not (Law of excluded middle). In 1923 Brouwer had written On the significance of the principle of excluded middle in mathematics, especially in function theory and on November 17, 1930, Kurt Gödel would write his famous "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme " (On Formally Undecidable Propositions of Principia Mathematica and Related Systems) proving Gödel's incompleteness theorems.

As a son of two teachers, Heyting was an excellent educator, presenting complex matters in a logical way. He became Privatdozent at the University of Amsterdam (UvA) in 1936 and lecturer in 1937. He spent the rest of his career at the University of Amsterdam, being professor from 1948 until his retirement in 1968. He wrote papers in Dutch, English, German and French. His books on intuitionistic algebra in 1941 and intuitionistic Hilbert spaces in the 1950's were ground-breaking.

His book Intuitionism: an Introduction (1956, second edition 1966) presented intuitionism to both mathematicians and logicians. Gilmore begins his excellent review of this book as follows: "This is an introduction to intuitionistic mathematics for mature mathematicians. The reader is taken rapidly to the heart of several different branches of intuitionistic mathematics. The speed of development is achieved by condensing the proofs and by presuming familiarity with the classical counterparts to the theories discussed. .. The book is written as a dialogue between Class (a classical mathematician), Form (a formalist), Int (an intuitionistic mathematician), Letter (a finitistic nominalist), Prag (a pragmatist), and Sign (a significist). In the first chapter Int defends intuitionistic mathematics against the criticism of the others, asking them finally to judge for themselves. In the remaining chapters Int presents mathematics for them to judge. In these chapters Class, except for Int, is the most loquacious; he frequently compares classical results with corresponding intuitionistic results and his questions lead Int to a more detailed discussion of some points. The device of dialogue allows abbreviation of statements without loss of clarity."

His student Anne Troelstra wrote: Heyting was retiring and modest, lacking all ostentation. His interests were very wide-ranging and varied: music, literature, linguistics, philosophy, astronomy, and botany; he also was fond of walking. As a teacher and lecturer he impressed his students and his international audiences at congresses with his exceptionally clear presentations.

Heyting was married twice and had eleven children. He died 9 July 1980 in Lugano, Switzerland

Link to Wikipedia


  • (has as) teacher relationship with Brouwer, Luitzen (born 27 February 1881). Notes: His PhD promotor


  • Work : Begin Major Project September 1916 in Amsterdam (Mathematics 1916-1922)
    chart Placidus Equal_H.
  • Relationship : Marriage 28 March 1929 in Enschede (Johanne Friederike Nijenhuis (18 Nov 1906, Losser - 20 Sep 1993, Laren) ))
    chart Placidus Equal_H.
  • Work : Gain social status December 1936 in Amsterdam (Private lecturer at UVA)
    chart Placidus Equal_H.
  • Work : Gain social status 15 September 1937 in Amsterdam (Lecturer of Geometry, Algebra and Philosophy of Mathematics,)
    chart Placidus Equal_H.
  • Work : Published/ Exhibited/ Released 27 September 1937 in Amsterdam (1st Lecture al a lector: Ruimteleer en axiomatiek.)
    chart Placidus Equal_H.
  • Work : Gain social status 21 May 1948 in Amsterdam (Full Professor of Geometry, Algebra and Philosophy of Mathematics)
    chart Placidus Equal_H.
  • Death of Father 5 June 1948 in Amsterdam (Johannes Heyting)
    chart Placidus Equal_H.
  • Work : Published/ Exhibited/ Released 16 May 1949 in Amsterdam (Inaugural speech: Spanningen in de wiskunde.)
    chart Placidus Equal_H.
  • Death of Mother 14 January 1950 in Amsterdam (Clarissa Elisabeth Kok)
    chart Placidus Equal_H.
  • Work : Published/ Exhibited/ Released 1956 (Intuitionism: an introduction)
  • Relationship : Divorce dates 10 October 1960 in Enschede (Johanne Friederike Nijenhuis)
    chart Placidus Equal_H.
  • Relationship : Marriage 4 January 1961 (Joséphine Frederique van Anrooij (17 February 1913 Arnhem - 13 October 1998, Garderen))
    chart Placidus Equal_H.
  • Work : Gain social status 12 April 1965 in Amsterdam (Full Professor of Pure Mathematics and Philosophy of Mathematics)
    chart Placidus Equal_H.
  • Work : Retired 1 September 1968 in Amsterdam (Emeritate)
    chart Placidus Equal_H.

Source Notes

Svi retrieved BC from online municipal archive.

Heyting biography

D.J. STruik. Geschiedenis van de wiskunde


  • Lifestyle : Work : Same Job more than 10 yrs
  • Vocation : Education : Researcher
  • Vocation : Education : Teacher (Mathematics)
  • Vocation : Science : Mathematics/ Statistics
  • Vocation : Writers : Textbook/ Non-fiction
  • Notable : Famous : First in Field (developer of intuitionistic logic and algebra)