Anne Sjerp Troelstra - Anne Sjerp Troelstra
Anne Sjerp Troelstra | |
|---|---|
| Nascer |
10 de agosto de 1939 |
| Faleceu | 7 de março de 2019 (79 anos) |
| Nacionalidade | holandês |
| Alma mater | Universidade de Amsterdam |
| Carreira científica | |
| Campos | Matemática |
| Instituições | Universidade de Amsterdam |
| Tese | Topologia geral intuicionista (1966) |
| Orientador de doutorado | Arend Heyting |
| Alunos de doutorado | Ieke Moerdijk |
Anne Sjerp Troelstra (10 de agosto de 1939 - 7 de março de 2019) foi professora de matemática pura e fundamentos da matemática no Instituto de Lógica, Linguagem e Computação (ILLC) da Universidade de Amsterdã .
Ele foi um lógico construtivista , que teve influência no desenvolvimento da lógica intuicionista. Com Georg Kreisel , ele foi um desenvolvedor da teoria das sequências de escolha . Ele escreveu um dos primeiros textos sobre lógica linear e, com Helmut Schwichtenberg , co-escreveu um importante livro sobre teoria da prova .
Ele se tornou membro da Real Academia de Artes e Ciências da Holanda em 1976. Troelstra morreu em 7 de março de 2019.
Notas
- ^ MARTIN LÖB (1921–2006) Arquivado em 23 de dezembro de 2006 na Wayback Machine
- ^ Marion, Mathieu (1998), Wittgenstein, Finitism, and the Foundations of Mathematics , Nova York: Oxford University Press, p. 205, ISBN 0-19-823516-X
- ^ Jervell, Herman Ruge (1996), "Review: Lectures on Linear Logic by AS Troelstra", Journal of Symbolic Logic , 61 (1): 336-38, doi : 10.2307 / 2275616
- ^ Dyckhoff, Roy (1998), "Review: Basic Proof Theory por AS Troelstra; H. Schwichtenberg", Journal of Symbolic Logic , 63 (4): 1605–06, doi : 10.2307 / 2586674
- ^ "Anne Troelstra" . Academia Real Holandesa de Artes e Ciências. Arquivado do original em 14 de fevereiro de 2016 . Retirado em 14 de fevereiro de 2016 .
- ^ "Anne Troelstra (1939-2019)" . illc.uva.nl . Página visitada em 13 de março de 2019 .
links externos
- Página inicial de AS Troelstra : Dead Link - Arquivado: Página inicial de AS Troelstra : acessado em 27 de junho de 2018
- Anne Sjerp Troelstra no Projeto de Genealogia da Matemática
  
|
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 . |