Hispanopedia Wiki
Articulo de referencia

Anne Sjerp Troelstra

Troelstra (derecha) con Helmut Schwichtenberg y Yiannis Moschovakis (izquierda) , 2002. Anne Sjerp Troelstra (10 de agosto de 1939 – 7 de marzo de 2019) fue profesora de matemát...

Hispanopedia WikiContenido en espanolLectura gratuita
Troelstra (derecha) con Helmut Schwichtenberg y Yiannis Moschovakis (izquierda) , 2002.

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 , influyente en el desarrollo de la lógica intuicionista. [ 1 ] Junto con Georg Kreisel , desarrolló la teoría de las secuencias de elección . [ 2 ] Escribió uno de los primeros textos sobre lógica lineal , [ 3 ] y, con Helmut Schwichtenberg , coescribió un importante libro sobre teoría de la demostración . [ 4 ]

Se convirtió en miembro de la Real Academia de Artes y Ciencias de los Países Bajos en 1976. [ 5 ] Troelstra murió el 7 de marzo de 2019. [ 6 ]

Tras su jubilación en 2000, Troelstra inició una prolífica carrera como autor de libros sobre viajes de historia natural, entre ellos la Bibliografía de relatos de viajes de historia natural, publicada por Brill en 2017. Existen muchos otros en neerlandés, como Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950 (Tigres en el Ararat. Relatos de viajes de historia natural 1700-1950) y Van Spitsbergen naar Suriname (De Spitsbergen a Surinam).

Notas

  1. ↑ MARTIN LÖB (1921 – 2006) Archivado el 23 de diciembre de 2006 en Wayback Machine
  2. ↑ Marion, Mathieu (1998), Wittgenstein, el finitismo y los fundamentos de las matemáticas , Nueva York: Oxford University Press, pág.  205, ISBN 0-19-823516-X
  3. ↑ Jervell, Herman Ruge (1996), "Reseña: Lecciones sobre lógica lineal de A.S. Troelstra", Journal of Symbolic Logic , 61 (1): 336–38 , doi : 10.2307/2275616 , JSTOR 2275616 , S2CID 117923544  
  4. ↑ Dyckhoff, Roy (1998), "Revisión: Teoría básica de la demostración por AS Troelstra; H. Schwichtenberg", Journal of Symbolic Logic , 63 (4): 1605– 06, doi : 10.2307/2586674 , JSTOR 2586674 , S2CID 118433941  
  5. ↑ "Anne Troelstra" . Real Academia de Artes y Ciencias de los Países Bajos. Archivado del original el 14 de febrero de 2016. Consultado el 14 de febrero de 2016 .
  6. ↑ «Ana Troelstra (1939-2019)» . illc.uva.nl. ​Consultado el 13 de marzo de 2019 .
  • Página principal del AS Troelstra  : Enlace roto - Archivado  : Página principal del AS Troelstra  : Consultado el 27 de junio de 2018
  • Anne Sjerp Troelstra en el Proyecto de Genealogía de Matemáticas