Gender | Male |
---|---|
Weekday | Monday |
Date | May 9, 1898 |
Time | 1 a.m. |
Daylight Saving | No |
City | Amsterdam, North Holland, Netherlands |
Geo-location | 52ºN22'26.51", |
Timezone | Europe/Amsterdam |
City | Amsterdam, North Holland, Netherlands |
---|---|
Timezone | Europe/Amsterdam |
Time (Europe/Amsterdam) | May. 09, 1898, 12:57:58 AM |
---|---|
Time (UTC) | May. 09, 1898, 12:40:28 AM |
Time (LMT) | May. 09, 1898, 01:00:02 AM |
Time (Julian) | 2414418.52810185 |
LMT Correction | 0.3261 Hrs |
Ayanmsha | True Chitra - 22º25'41.12" |
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
S.No. | Event Type | Event Date | Event Description |
---|---|---|---|
1 |
Begin Major Project |
Sept. 1, 1916 |
Work : Begin Major Project September 1916 in Amsterdam (Mathematics 1916-1922) . |
2 |
Published/Released |
May 27, 1925 |
Work : Published/ Exhibited/ Released 27 May 1925 at 4:00 PM in Amsterdam (Intuïtionistische axiomatiek der projectieve meetkunde) . |
3 |
Gain Social Status |
Dec. 1, 1936 |
Work : Gain social status December 1936 in Amsterdam (Private lecturer at UVA) . |
4 |
Gain Social Status |
Sept. 15, 1937 |
Work : Gain social status 15 September 1937 in Amsterdam (Lecturer of Geometry, Algebra and Philosophy of Mathematics,) . |
5 |
Published/Released |
Sept. 27, 1937 |
Work : Published/ Exhibited/ Released 27 September 1937 in Amsterdam (1st Lecture al a lector: Ruimteleer en axiomatiek.) . |
6 |
Gain Social Status |
May 21, 1948 |
Work : Gain social status 21 May 1948 in Amsterdam (Full Professor of Geometry, Algebra and Philosophy of Mathematics) . |
7 |
Published/Released |
May 16, 1949 |
Work : Published/ Exhibited/ Released 16 May 1949 in Amsterdam (Inaugural speech: Spanningen in de wiskunde.) . |
8 |
Published/Released |
Jan. 1, 1956 |
Work : Published/ Exhibited/ Released 1956 (Intuitionism: an introduction) |
9 |
Gain Social Status |
April 12, 1965 |
Work : Gain social status 12 April 1965 in Amsterdam (Full Professor of Pure Mathematics and Philosophy of Mathematics) . |
10 |
Published/Released |
May 18, 1968 |
Work : Published/ Exhibited/ Released 18 May 1968 in Amsterdam (Last lecture: Is de toekomst der wiskunde voorspelbaar?) . |
11 |
Retired |
Sept. 1, 1968 |
Work : Retired 1 September 1968 in Amsterdam (Emeritate) . |
S.No. | Event Type | Event Date | Event Description |
---|---|---|---|
1 |
Marriage |
Feb. 17, 1913 |
Relationship : Marriage 4 January 1961 (Joséphine Frederique van Anrooij (17 February 1913 Arnhem - 13 October 1998, Garderen)) . |
2 |
Marriage |
March 28, 1929 |
Relationship : Marriage 28 March 1929 in Enschede (Johanne Friederike Nijenhuis (18 Nov 1906, Losser - 20 Sep 1993, Laren) )) . |
3 |
Divorce |
Oct. 10, 1960 |
Relationship : Divorce dates 10 October 1960 in Enschede (Johanne Friederike Nijenhuis) . |
S.No. | Event Type | Event Date | Event Description |
---|---|---|---|
1 |
Father Death |
June 1, 1948 |
Death of Father 5 June 1948 in Amsterdam (Johannes Heyting) . |
2 |
Mother Death |
Jan. 14, 1950 |
Death of Mother 14 January 1950 in Amsterdam (Clarissa Elisabeth Kok) . |
3 |
Unspecified |
July 1, 1980 |
Death, Cause unspecified 9 July 1980 in Lugano . |