Arend Heyting
Affiliations: | University of Amsterdam, Amsterdam, Netherlands |
Area:
pure mathematics, philosophy of mathematicsWebsite:
http://www.dwc.knaw.nl/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845Google:
"Arend Heyting"Bio:
(1898 - 1980)
http://www.biografischportaal.nl/en/persoon/64214067
Prof. dr. A. Heyting, 1898 - 1980 at the Album Academicum of the University of Amsterdam
http://www.genealogy.math.ndsu.nodak.edu/id.php?id=45623
Parents
Sign in to add mentor| Luitzen E.J. Brouwer | grad student | 1925 | Amsterdam | |
| (Intuitionistische axiomatiek der projectieve meetkunde) | ||||
Children
Sign in to add trainee| Dick Herman Jacobus de Jongh | research assistant | Amsterdam | |
| Dirk van Dalen | grad student | 1963 | Amsterdam (Computer Science Tree) |
| Anne S. Troelstra | grad student | 1966 | Amsterdam |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Heyting A. (1974) Intuitionistic views on the nature of mathematics Synthese. 27: 79-91 |
| Heyting A. (1966) After Thirty Years Studies in Logic and the Foundations of Mathematics. 44: 194-197 |
| Kattsoff LO, Bernays P, Fraenkel AA, et al. (1960) Axiomatic Set Theory.@@@Studies in Logic and the Foundations of Mathematics. American Mathematical Monthly. 67: 1046 |
| Heyting A. (1959) Axioms for Intuitionistic Plane Affine Geometry Studies in Logic and the Foundations of Mathematics. 27: 160-173 |
| Heyting A. (1955) G. F. C. Griss and his negationless intuitionistic mathematics Synthese. 9: 91-96 |
| Heyting A. (1948) Formal logic and mathematics Synthese. 6: 275-282 |
| Heyting A. (1946) On Weakened Quantification Journal of Symbolic Logic. 11: 119-121 |