Arend Heyting

Arend Heyting ( holandés: [ ˈaːrənt ˈɦɛitɪŋ ] ; 9 de mayo de 1898 – 9 de julio de 1980) fue un matemático y lógico holandés .

Heyting fue alumno de Luitzen Egbertus Jan Brouwer en la Universidad de Ámsterdam y contribuyó significativamente a consolidar la lógica intuicionista dentro de la lógica matemática . Heyting realizó el primer desarrollo formal de la lógica intuicionista para codificar el método matemático de Brouwer. La inclusión del nombre de Brouwer en la interpretación Brouwer-Heyting-Kolmogorov es en gran medida honorífica, ya que Brouwer se oponía en principio a la formalización de ciertos principios intuicionistas (e incluso llegó a calificar el trabajo de Heyting como un «ejercicio estéril»). ^{[ 1 ]}

En 1942 se convirtió en miembro de la Real Academia de Artes y Ciencias de los Países Bajos . ^{[ 2 ]}

Heyting nació en Ámsterdam , Países Bajos, y murió en Lugano , Suiza.

• Heyting, Arend (1930). "Die formalen Regeln der intuitionistischen Logik". Sitzungsberichte der preußischen Akademie der Wissenschaften, física y matemáticas. Klasse (en alemán): 42– 56, 57– 71, 158– 169. OCLC 601568391 . (reimpresión abreviada en Berka, Karel; Kreiser, Lothar, eds. (1986). Logik-Texte . De Gruyter . págs. 188-192 . doi : 10.1515/9783112645826 . ISBN  978-3-11-264582-6.)

• — (1934). Mathematische Grundlagenforschung. Intuicionismo. Beweistheorie (en alemán). Berlín: Springer.^{[ 3 ]}

• — (1941). "Untersuchungen der intuitionistischen Algebra". Verh. Nederl. Akád. Wetensch. Afd. Natural. Secta. 1 (en alemán). 18 (2): 36.

• — (1956). Intuicionismo. Una introducción . Ámsterdam: North-Holland Publishing Co.

• — (1959). «Axiomas para la geometría afín plana intuicionista. El método axiomático. Con especial referencia a la geometría y la física». En Henkin, L.; Suppes, P.; Tarski, A. (eds.). Actas de un simposio internacional celebrado en la Universidad de California, Berkeley, del 26 de diciembre de 1957 al 4 de enero de 1958. Estudios en lógica y fundamentos de las matemáticas. Ámsterdam: North-Holland Publishing Co., págs. 160-173 . 

• — (1962). «Después de treinta años». En Nagel, E. (ed.). Lógica, metodología y filosofía de la ciencia (Actas del Congreso Internacional de 1960) . Stanford, California: Stanford Univ. Press. págs. 194–197 . 

• — (1963). Geometría proyectiva axiomática . Bibliotheca Mathematica. Vol.  V. Nueva York; Groningen; Ámsterdam: Interscience Publishers John Wiley & Sons, Inc.; P. Noordhoff NV; North-Holland Publishing Co.

• — (1966). Intuicionismo: Una introducción (Segunda edición revisada  ). Ámsterdam: North-Holland Publishing Co.

• — (1973). «Discurso al profesor A. Robinson. Con motivo de la conferencia en memoria de Brouwer impartida por el profesor A. Robinson el 26 de abril de 1973». Nieuw Arch. Wisk. (3) . 21 : 134– 137.

• — (1974). Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie (en alemán) (Reimpresión  ed.). Berlín-Nueva York: Springer-Verlag.

• — (1980). Geometría proyectiva axiomática . Bibliotheca Mathematica. Vol.  V (Segunda  ed.). Groningen; Ámsterdam–Nueva York: Wolters-Noordhoff Scientific Publications, Ltd.; North-Holland Publishing Co.

• Iglesia, Alonso (1935). "Reseña: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie de A. Heyting" . Toro. América. Matemáticas. Soc. (en alemán). 41 : 476– 477. doi : 10.1090/S0002-9904-1935-06126-9 .

• Digitaal Wetenschapshistorisch Centrum. «Arend Heyting (1898-1980)» . Real Academia de Artes y Ciencias de los Países Bajos . Consultado el 28 de julio de 2015 .

• Van Stigt, Walter P. (1990). El intuicionismo de Brouwer . Ámsterdam: Holanda del Norte.

• O'Connor, John J.; Robertson, Edmund F. , "Arend Heyting" , Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews