stringtranslate.com

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á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 [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 prueba . [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]

Notas

  1. ^ MARTIN LÖB (1921-2006) Archivado el 23 de diciembre de 2006 en la Wayback Machine.
  2. ^ Marion, Mathieu (1998), Wittgenstein, el finitismo y los fundamentos de las matemáticas , Nueva York: Oxford University Press, p. 205, ISBN 0-19-823516-X
  3. ^ Jervell, Herman Ruge (1996), "Revisión: Conferencias sobre lógica lineal de AS 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 de la prueba básica de AS Troelstra; H. Schwichtenberg", Journal of Symbolic Logic , 63 (4): 1605–06, doi :10.2307/2586674, JSTOR  2586674, S2CID  118433941
  5. ^ "Ana Troelstra". Real Academia de Artes y Ciencias de los Países Bajos. Archivado desde el original el 14 de febrero de 2016 . Consultado el 14 de febrero de 2016 .
  6. ^ "Anne Troelstra (1939-2019)". illc.uva.nl. ​Consultado el 13 de marzo de 2019 .

enlaces externos

  • v
  • t
  • mi
  • v
  • t
  • mi