Mathematician:Arend Heyting

Dutch mathematician and logician of the Intuitionist school.

Nationality
Dutch

History

 * Born: 9 May 1898 in Amsterdam, Netherlands
 * Died: 9 July 1980 in Lugano, Switzerland

Theorems and Definitions

 * Brouwer-Heyting-Kolmogorov Interpretation (with, independently of )
 * Heyting Algebra
 * Heyting Arithmetic

Books and Papers

 * 1930: Die formalen Regeln der intuitionistischen Logik
 * 1934: Intuitionism and Proof Theory
 * 1941: Untersuchungen der intuitionistische Algebra
 * 1956: Intuitionism: An introduction
 * 1959: Axioms for intuitionistic plane affine geometry. The axiomatic method. With special reference to geometry and physics
 * 1962: After thirty years
 * 1963: Axiomatic projective geometry
 * 1966: Intuitionism: An introduction (2nd revised edition)
 * 1973: Address to Professor A. Robinson
 * 1974: Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
 * 1980: Axiomatic projective geometry (2nd edition)