# Anne Sjerp Troelstra

(Redirected from Anne S. Troelstra)

Jump to navigation
Jump to search
Anne Sjerp Troelstra | |
---|---|

Born | |

Nationality | Dutch |

Alma mater | University of Amsterdam |

Scientific career | |

Fields | Mathematics |

Institutions | University of Amsterdam |

Doctoral advisor | Arend Heyting |

Doctoral students | Ieke Moerdijk |

**Anne Sjerp Troelstra** (born 10 August 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.^{[1]}^{[2]} With Georg Kreisel, he was a developer of the theory of choice sequences.^{[3]} He also wrote one of the first texts on linear logic,^{[4]} and with H. Schwichtenberg he co-wrote an important book on proof theory.^{[5]}

He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976.^{[6]}

## Notes

**^**Daimiposten – Oktober 2001**^**MARTIN LÖB (1921–2006) Archived December 23, 2006, at the Wayback Machine.**^**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.**^**"Anne Troelstra". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 14 February 2016. Retrieved 14 February 2016.

## External links

- Homepage of A. S. Troelstra : Dead Link - Archived : Homepage of A. S. Troelstra : Retrieved on 27 June 2018
- Anne Sjerp Troelstra at the Mathematics Genealogy Project

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. |