Anne Sjerp Troelstra - Anne Sjerp Troelstra
Anne Sjerp Troelstra | |
---|---|
Nació |
|
10 de agosto de 1939
Fallecido | 7 de marzo de 2019 |
(79 años)
Nacionalidad | holandés |
alma mater | Universidad de Amsterdam |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Amsterdam |
Tesis | Topología general intuicionista (1966) |
Asesor de doctorado | Arend Heyting |
Estudiantes de doctorado | Ieke Moerdijk |
Anne Sjerp Troelstra (10 de agosto de 1939 - 7 de marzo de 2019) fue profesora de matemáticas puras y fundamentos de las matemáticas en el Instituto de Lógica, Lenguaje y Computación (ILLC) de la Universidad de Ámsterdam .
Fue un lógico constructivista , que influyó en el desarrollo de la lógica intuicionista. Con Georg Kreisel , fue un desarrollador de la teoría de las secuencias de elección . Escribió uno de los primeros textos sobre lógica lineal y, con Helmut Schwichtenberg , coescribió un importante libro sobre teoría de la prueba .
Se convirtió en miembro de la Real Academia de Artes y Ciencias de los Países Bajos en 1976. Troelstra murió el 7 de marzo de 2019.
Notas
- ^ MARTIN LÖB (1921-2006) Archivado el 23 de diciembre de 2006 en la Wayback Machine.
- ^ Marion, Mathieu (1998), Wittgenstein, Finitismo y los fundamentos de las matemáticas , Nueva York: Oxford University Press, p. 205, ISBN 0-19-823516-X
- ^ Jervell, Herman Ruge (1996), "Revisión: Conferencias sobre lógica lineal por AS Troelstra", Journal of Symbolic Logic , 61 (1): 336–38, doi : 10.2307 / 2275616
- ^ Dyckhoff, Roy (1998), "Revisión: teoría de la prueba básica por AS Troelstra; H. Schwichtenberg", Journal of Symbolic Logic , 63 (4): 1605–06, doi : 10.2307 / 2586674
- ^ "Anne Troelstra" . Real Academia de las Artes y las Ciencias de los Países Bajos. Archivado desde el original el 14 de febrero de 2016 . Consultado el 14 de febrero de 2016 .
- ^ "Anne Troelstra (1939-2019)" . illc.uva.nl . Consultado el 13 de marzo de 2019 .
enlaces externos
- Página de inicio de AS Troelstra : Dead Link - Archivado: Página de inicio de AS Troelstra : Consultado el 27 de junio de 2018
- Anne Sjerp Troelstra en el Proyecto de genealogía matemática