Arend Heyting ( holandés: [ˈɦɛi̯tɪŋ] ; 9 de mayo de 1898 - 9 de julio de 1980) fue un matemático y lógico holandés .
Arend Heyting | |
---|---|
Nació | |
Fallecido | 9 de julio de 1980 | (82 años)
Nacionalidad | holandés |
alma mater | Universidad de Amsterdam |
Conocido por | Heyting álgebra Heyting aritmética Contribuciones al intuicionismo |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Amsterdam |
Asesor de doctorado | LEJ Brouwer |
Estudiantes de doctorado | Anne Sjerp Troelstra Dirk van Dalen |
Biografía
Heyting fue alumno de Luitzen Egbertus Jan Brouwer en la Universidad de Amsterdam , e hizo mucho para poner la lógica intuicionista en una base donde podría convertirse en parte de la lógica matemática . Heyting dio el primer desarrollo formal de la lógica intuicionista para codificar la forma de hacer matemáticas de Brouwer. La inclusión del nombre de Brouwer en la interpretación de Brouwer-Heyting-Kolmogorov es en gran parte honorífica, ya que Brouwer se opuso 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 de Artes y Ciencias de los Países Bajos . [2]
Heyting nació en Amsterdam , Holanda 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. Phys.-Math. Klasse, 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. Akad. Wetensch. Afd. Natuurk. Secta. 1. 18. no. 2, 36 págs.
- Heyting, A. (1956) Intuicionismo. Una introducción. North-Holland Publishing Co., Ámsterdam.
- Heyting, A. (1959) Axiomas para la geometría afín del plano intuicionista. El método axiomático. Con especial referencia a geometría y física. Actas de un Simposio Internacional celebrado en la Univ. of Calif., 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 en lógica y fundamentos de las matemáticas North-Holland Publishing Co. , Amsterdam.
- Heyting, A. (1962) Después de treinta años. 1962 Lógica, Metodología y Filosofía de la Ciencia (Proc. 1960 Internat. Congr.) Págs. 194–197 Stanford Univ. Prensa, Stanford, California.
- 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: Introducción. Segunda edición revisada North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1973) Discurso al profesor A. Robinson. Con motivo de la conferencia conmemorativa de Brouwer impartida por el Prof. 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 edicion. Bibliotheca Mathematica [Biblioteca de Matemáticas], V. Publicaciones Científicas Wolters-Noordhoff, Ltd., Groningen; North-Holland Publishing Co., Amsterdam – Nueva York.
Referencias
- ^ Walter P. van Stigt (1990). El intuicionismo de Brouwer . Amsterdam: Holanda Septentrional.
- ^ "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, Alonzo (1935). "Revisión: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie por A. Heyting". Toro. Amer. Matemáticas. Soc . 41 : 476–477. doi : 10.1090 / S0002-9904-1935-06126-9 .
enlaces externos
- O'Connor, John J .; Robertson, Edmund F. , "Arend Heyting" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.