Arend Heyting

Arend Heyting
Información personal
Nacimiento	9 de mayo de 1898 Ámsterdam (Países Bajos)
Fallecimiento	9 de julio de 1980 (82 años) Lugano (Suiza)
Nacionalidad	Neerlandesa
Lengua materna	Neerlandés
Educación
Educado en	Universidad de Ámsterdam (1916-1922)
Supervisor doctoral	Luitzen Egbertus Jan Brouwer
Alumno de	Luitzen Egbertus Jan Brouwer
Información profesional
Ocupación	Matemático y profesor universitario
Área	Matemáticas y lógica
Empleador	Enschede Municipal Lyceum (1922-1936) Universidad de Ámsterdam (1937-1948) Universidad de Ámsterdam (1948-1965) Universidad de Ámsterdam (1965-1968) Universidad de Ámsterdam (1965-1968)
Obras notables	álgebra de Heyting Aritmética de Heyting
Miembro de	Real Academia de Artes y Ciencias de los Países Bajos

Arend Heyting (9 de mayo de 1898 en Ámsterdam - † 9 de julio en 1980 en Lugano, Suiza) fue un matemático especializado en lógica. Fue un estudiante de L.E.J. Brouwer, se trata de un fundador de un álgebra especial que presenta modelos de la lógica intuicionista es decir una lógica en la cual la ley del tercero excluido no vale, en general. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos.

Philosophy of Mathematics: Selected Readings Hilary Putnman & Paul Benacerraf

Heyting, Arend (1930). "Die formalen Regeln der intuitionistischen Logik". Sitzungsberichte der preußischen Akademie der Wissenschaften, phys.-math. Klasse (in German): 42–56, 57–71, 158–169. OCLC 601568391. (abridged reprint in Berka, Karel; Kreiser, Lothar, eds. (1986). Logik-Texte. De Gruyter. pp. 188–192. doi:10.1515/9783112645826. ISBN 978-3-11-264582-6.) — (1934). Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie (in German). Berlin: Springer.[3] — (1941). "Untersuchungen der intuitionistischen Algebra". Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1 (in German). 18 (2): 36. — (1956). Intuitionism. An Introduction. Amsterdam: North-Holland Publishing Co. — (1959). "Axioms for intuitionistic plane affine geometry. The axiomatic method. With special reference to geometry and physics". In Henkin, L.; Suppes, P.; Tarski, A. (eds.). Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957–Jan. 4, 1958. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland Publishing Co. pp. 160–173. — (1962). "After thirty years". In Nagel, E. (ed.). Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.). Stanford, Calif.: Stanford Univ. Press. pp. 194–197. — (1963). Axiomatic projective geometry. Bibliotheca Mathematica. Vol. V. New York; Groningen; Amsterdam: Interscience Publishers John Wiley & Sons, Inc.; P. Noordhoff N.V.; North-Holland Publishing Co. — (1966). Intuitionism: An Introduction (Second revised ed.). Amsterdam: North-Holland Publishing Co. — (1973). "Address to Professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A. Robinson on the 26th April 1973". Nieuw Arch. Wisk. (3). 21: 134–137. — (1974). Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie (in German) (Reprint ed.). Berlin–New York: Springer-Verlag. — (1980). Axiomatic projective geometry. Bibliotheca Mathematica. Vol. V (Second ed.). Groningen; Amsterdam–New York: Wolters-Noordhoff Scientific Publications, Ltd.; North-Holland Publishing Co.

• Álgebra de Heyting.
• Aritmética de Heyting

• Arend Heyting en Biografías y vidas