Matemático y lógico holandés (1898-1980)
Arend Heyting ( en 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 .
Biografía
Heyting fue alumno de Luitzen Egbertus Jan Brouwer en la Universidad de Ámsterdam y contribuyó en gran medida a que la lógica intuicionista pudiera convertirse en parte de la lógica matemática . Heyting fue el primer desarrollo formal de la lógica intuicionista con el fin de codificar la forma de Brouwer de hacer matemáticas. La inclusión del nombre de Brouwer en la interpretación de 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 (y llegó a calificar el trabajo de Heyting de "ejercicio estéril"). [1]
En 1942 se convirtió en miembro de la Real Academia Holandesa de Artes y Ciencias . [2]
Heyting nació en Ámsterdam , Países Bajos , y murió en Lugano , Suiza .
Publicaciones seleccionadas
- Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (alemán) 3 partes, en: Sitzungsberichte der preußischen Akademie der Wissenschaften. fis.-matemáticas. Clase, 1930, 42–56, 57-71, 158-169.
- Heyting, A. (1934) Mathematische Grundlagenforschung. Intuicionismo. Beweistheorie. Springer, Berlín. [3]
- Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (alemán) Verh. Nederl. Akád. Wetensch. Afd. Natural. Secta. 1. 18. no. 2, 36 págs.
- Heyting, A. (1956) Intuicionismo. Una introducción. North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1959) Axiomas para geometría afín intuicionista del plano. El método axiomático. Con especial referencia a la geometría y la física. Actas de un simposio internacional celebrado en la Universidad de California, Berkeley, 26 de diciembre de 1957–4 de enero de 1958 (editado por L. Henkin, P. Suppes y A. Tarski) págs. 160–173 Estudios de lógica y fundamentos de las matemáticas North-Holland Publishing Co., Ámsterdam.
- Heyting, A. (1962) Después de treinta años. 1962 Lógica, metodología y filosofía de la ciencia (Proc. 1960 Congr. Internacional) págs. 194–197 Stanford Univ. Press, Stanford, Calif.
- Heyting, A. (1963) Geometría proyectiva axiomática. Bibliotheca Mathematica, Vol. V. Interscience Publishers John Wiley & Sons, Inc., Nueva York; P. Noordhoff NV, Groningen; North-Holland Publishing Co., Ámsterdam.
- Heyting, A. (1966) Intuicionismo: Una introducción. Segunda edición revisada, North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1973) Discurso al Profesor A. Robinson. Con motivo de la conferencia en memoria de Brouwer pronunciada por el Profesor A. Robinson el 26 de abril de 1973. Nieuw Arch. Wisk. (3) 21, págs. 134–137.
- Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Alemán) Reimpresión. Springer-Verlag, Berlín-Nueva York.
- Heyting, A. (1980) Geometría proyectiva axiomática. Segunda edición. Bibliotheca Mathematica [Biblioteca de Matemáticas], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Ámsterdam–Nueva York.
Referencias
- ^ Walter P. van Stigt (1990). El intuicionismo de Brouwer . Ámsterdam: Holanda del Norte.
- ^ "Arend Heyting (1898 - 1980)". Real Academia de las Artes y las Ciencias de los Países Bajos . Consultado el 28 de julio de 2015 .
- ^ Iglesia, Alonso (1935). "Reseña: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie de A. Heyting". Toro. América. Matemáticas. Soc . 41 : 476–477. doi : 10.1090/S0002-9904-1935-06126-9 .
Enlaces externos
