Arend Heyting - Arend Heyting
Arend Heyting | |
---|---|
Arend Heyting (1967)
| |
Nascermos |
|
9 de maio de 1898
Morreu | 9 de julho de 1980 |
(com 82 anos)
Nacionalidade | holandês |
Alma mater | Universidade de Amsterdam |
Conhecido por |
Álgebra de Heyting Contribuições aritméticas de Heyting para o intuicionismo |
Carreira científica | |
Campos | Matemática |
Instituições | Universidade de Amsterdam |
Orientador de doutorado | LEJ Brouwer |
Alunos de doutorado |
Anne Sjerp Troelstra Dirk van Dalen |
Arend Heyting ( holandês: [ˈɦɛi̯tɪŋ] ; 9 de maio de 1898 - 9 de julho de 1980) foi um matemático e lógico holandês .
Biografia
Heyting foi aluno de Luitzen Egbertus Jan Brouwer na Universidade de Amsterdã e fez muito para colocar a lógica intuicionista em uma base onde pudesse se tornar parte da lógica matemática . Heyting deu o primeiro desenvolvimento formal da lógica intuicionista para codificar a maneira de Brouwer de fazer matemática. A inclusão do nome de Brouwer na interpretação de Brouwer-Heyting-Kolmogorov é amplamente honorífica, já que Brouwer se opôs em princípio à formalização de certos princípios intuicionistas (e chegou a chamar o trabalho de Heyting de "exercício estéril").
Em 1942, ele se tornou membro da Academia Real Holandesa de Artes e Ciências .
Heyting nasceu em Amsterdã , Holanda , e morreu em Lugano , Suíça .
Publicações selecionadas
- Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (Alemão) 3 partes, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. fis.-matemática. Klasse, 1930, 42-56, 57-71, 158-169.
- Heyting, A. (1934) Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlim.
- Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (Alemão) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. não. 2, 36 pp.
- Heyting, A. (1956) Intuitionism. Uma introdução. North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1959) Axioms for intuitionistic plane plane affine geometry. O método axiomático. Com referência especial à geometria e à física. Anais de Simpósio Internacional realizado na Univ. of Calif., Berkeley, 26 de dezembro de 1957 a 4 de janeiro de 1958 (editado por L. Henkin, P. Suppes e A. Tarski), pp. 160–173 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co. , Amsterdam.
- Heyting, A. (1962) Após trinta anos. 1962 Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) Pp. 194–197 Stanford Univ. Press, Stanford, Califórnia.
- Heyting, A. (1963) Aximatic projective geometry. Bibliotheca Mathematica, Vol. V. Editores da Interscience John Wiley & Sons, Inc., Nova York; P. Noordhoff NV, Groningen; North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1966) Intuitionism: Uma introdução. Segunda edição revisada North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1973) Address to Professor A. Robinson. Por ocasião da palestra memorial Brouwer proferida pelo Prof. A.Robinson em 26 de abril de 1973. Nieuw Arch. Wisk. (3) 21, pp. 134–137.
- Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Alemão) Reimpressão. Springer-Verlag, Berlim – Nova York.
- Heyting, A. (1980) Axiomatic projective geometry. Segunda edição. Bibliotheca Mathematica [Mathematics Library], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdã – Nova York.
Referências
links externos
- O'Connor, John J .; Robertson, Edmund F. , "Arend Heyting" , arquivo MacTutor History of Mathematics , University of St Andrews .
Este artigo sobre um cientista holandês é um esboço . Você pode ajudar a Wikipedia expandindo-a . |
Este artigo sobre um matemático europeu é um esboço . Você pode ajudar a Wikipedia expandindo-a . |