Anne Sjerp Troelstra
|Anne Sjerp Troelstra|
August 10, 1939 |
|Institutions||University of Amsterdam|
|Alma mater||University of Amsterdam|
|Doctoral advisor||Arend Heyting|
|Doctoral students||Marcus Aloysius Bezem
Anne Sjerp Troelstra (born August 10, 1939) 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. With Georg Kreisel, he was a developer of the theory of choice sequences. He also wrote one of the first texts on linear logic, and with H. Schwichtenberg he co-wrote an important book on proof theory.
- Daimiposten – Oktober 2001
- MARTIN LÖB (1921–2006)
- Marion, Mathieu (1998), Wittgenstein, Finitism, and the Foundations of Mathematics, New York: Oxford University Press, p. 205, ISBN 0-19-823516-X.
- Jervell, Herman Ruge (1996), "Review: Lectures on Linear Logic by A. S. Troelstra", Journal of Symbolic Logic 61 (1): 336–338, doi:10.2307/2275616.
- Dyckhoff, Roy (1998), "Review: Basic Proof Theory by A. S. Troelstra; H. Schwichtenberg", Journal of Symbolic Logic 63 (4): 1605–1606, doi:10.2307/2586674.
|This article about a Dutch scientist is a stub. You can help Wikipedia by expanding it.|
|This article about a European mathematician is a stub. You can help Wikipedia by expanding it.|