# Anne Sjerp Troelstra

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

Anne Sjerp Troelstra | |
---|---|

Born | |

Died | 7 March 2019 79) | (aged

Nationality | Dutch |

Alma mater | University of Amsterdam |

Scientific career | |

Fields | Mathematics |

Institutions | University of Amsterdam |

Thesis | Intuitionistic General Topology (1966) |

Doctoral advisor | Arend Heyting |

Doctoral students | Ieke Moerdijk |

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.[2] He wrote one of the first texts on linear logic,[3] and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.[4]

He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976.[5] Troelstra died on 7 March 2019.[6]

## Notes

- MARTIN LÖB (1921–2006) Archived 23 December 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–38, doi:10.2307/2275616 - Dyckhoff, Roy (1998), "Review:
*Basic Proof Theory*by A. S. Troelstra; H. Schwichtenberg",*Journal of Symbolic Logic*,**63**(4): 1605–06, 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.
- "Anne Troelstra (1939-2019)".
*illc.uva.nl*. Retrieved 13 March 2019.

## 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 is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.