Back ارند هيتينج ARZ آرند هیتینق AZB Arend Heyting Catalan Arend Heyting German Arend Heyting English Arend Heyting Spanish آرند هیتینگ Persian Arend Heyting French Arend Heyting Italian アレン・ハイティング Japanese
| Arend Heyting | |
|---|---|
.jpg) | |
| Nascimento | 9 de maio de 1898 Amsterdam, Países Baixos |
| Morte | 9 de julho de 1980 (82 anos) Lugano, Suíça |
| Nacionalidade | neerlandês |
| Cidadania | Reino dos Países Baixos |
| Alma mater | Universidade de Amsterdã |
| Ocupação | matemático, professor universitário |
| Empregador(a) | Universidade de Amsterdã, Universidade de Amsterdã, Universidade de Amsterdã, Universidade de Amsterdã, Enschede Municipal Lyceum |
| Orientador(a)(es/s) | L. E. J. Brouwer |
| Orientado(a)(s) | Jan Mooij "Anne Sjerp Troelstra" "Dirk van Dalen" |
| Instituições | Universidade de Amsterdã |
| Campo(s) | matemática |
| Obras destacadas | álgebra de Heyting, Interpretação de Brouwer–Heyting–Kolmogorov, álgebra de Heyting completa, corpo de Heyting, Aritmética de Heyting, álgebra de Heyting livre |
Arend Heyting (Amsterdam, 9 de maio de 1898 – Lugano, 9 de julho de 1980) foi um matemático e lógico holandês. Foi aluno de Luitzen Egbertus Jan Brouwer na Universidade de Amsterdã, e fez muito para colocar a Lógica intuicionista em um nível tal que pudesse fazer parte da Lógica matemática. Heyting forneceu o primeiro desenvolvimento formal da lógica intuicionista objetivando codificar a forma de Brouwer de fazer matemática. A inclusão do nome de Brouwer na Interpretação de Brouwer–Heyting–Kolmogorov é em grande parte honorífico, como Brouwer se opunha, em princípio, à formalização de certos princípios intuicionistas (e foi longe o bastante a ponto de chamar o trabalho de Heyting de "exercício estéril").[1]
- ↑ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.