Anne Sjerp Troelstra (born August 10, 1939 at Maartensdijk (Utrecht), The Netherlands) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

He is a constructivist logician, who has been influential in the development of intuitionistic logic^[1][2]. With George Kreisel, he was a developer of the theory of choice sequences^[3]. He also wrote one of the first texts on linear logic (reviewed by H. Jervell) and with H. Schwichtenberg he co-wrote an important book on proof theory.http://links.jstor.org/sici?sici=0022-4812(199812)63%3A4%3C1605%3ABPT%3E2.0.CO%3B2-I

Notes

1. ↑ Daimiposten - Oktober 2001
2. ↑ MARTIN LÖB (1921-2006)
3. ↑ Mathieu Marion, Wittgenstein, Finitism, and the Foundations of Mathematics (1998), p. 205.

External links

• Home page of A. S. Troelstra
• Mathematical Genealogy page