Anne Sjerp Troelstra
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 Amsterdam .
Fue un lógico constructivista , que influyó en el desarrollo de la lógica intuicionista [1] Junto con Georg Kreisel , fue un desarrollador de 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]
