Anne Sjerp Troelstra

Anne Sjerp Troelstra
Born (1939-08-10) 10 August 1939
Maartensdijk, Utrecht
Nationality Dutch
Fields Mathematics
Institutions University of Amsterdam
Alma mater University of Amsterdam
Doctoral advisor Arend Heyting
Doctoral students Marcus Aloysius Bezem
Ieke Moerdijk
Daniel Leivant
Laurina Verbrugge

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

  1. Daimiposten Oktober 2001
  2. MARTIN LÖB (19212006)
  3. Marion, Mathieu (1998), Wittgenstein, Finitism, and the Foundations of Mathematics, New York: Oxford University Press, p. 205, ISBN 0-19-823516-X.
  4. 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.
  5. 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.
  6. "Anne Troelstra". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 14 February 2016. Retrieved 14 February 2016.

External links


This article is issued from Wikipedia - version of the Sunday, April 03, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.