Loading AI tools
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]
Arend Heyting | |
---|---|
Arend Heyting (1967) | |
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ã |
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 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.