Anne Sjerp Troelstra

Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a Dutch professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He was a constructivist logician, influential in the development of intuitionistic logic. Along with Georg Kreisel, he developed the theory of choice sequences. He authored one of the first texts on linear logic and, with Helmut Schwichtenberg, co-wrote an important book on proof theory. Troelstra became a member of the Royal Netherlands Academy of Arts and Sciences in 1976. After his retirement in 2000, Troelstra pursued a prolific career as an author of books on natural history travel, including the Bibliography of Natural History Travel Narratives published in 2017, and other works in Dutch such as Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950 and Van Spitsbergen naar Suriname.