| Anne Sjerp Troelstra | |
| Birth Date: | 10 August 1939 |
| Birth Place: | Maartensdijk, Utrecht |
| Death Place: | Blaricum |
| Nationality: | Dutch |
| Fields: | Mathematics |
| Workplaces: | University of Amsterdam |
| Alma Mater: | University of Amsterdam |
| Thesis Title: | Intuitionistic General Topology |
| Thesis Year: | 1966 |
| Doctoral Advisor: | Arend Heyting |
| Doctoral Students: | |
Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a 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, who was influential in the development of intuitionistic logic[1] With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.
He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976.[2] Troelstra died on 7 March 2019.[3]