Anne Sjerp Troelstra

From Wikipedia, the free encyclopedia
  (Redirected from A. S. Troelstra)
Jump to navigation Jump to search
Anne Sjerp Troelstra
Born(1939-08-10)10 August 1939
Died7 March 2019(2019-03-07) (aged 79)
NationalityDutch
Alma materUniversity of Amsterdam
Scientific career
FieldsMathematics
InstitutionsUniversity of Amsterdam
Doctoral advisorArend Heyting
Doctoral studentsIeke Moerdijk

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.

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[edit]

  1. ^ MARTIN LÖB (1921–2006) Archived 23 December 2006 at the Wayback Machine
  2. ^ Marion, Mathieu (1998), Wittgenstein, Finitism, and the Foundations of Mathematics, New York: Oxford University Press, p. 205, ISBN 0-19-823516-X
  3. ^ 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
  4. ^ 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
  5. ^ "Anne Troelstra". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 14 February 2016. Retrieved 14 February 2016.
  6. ^ "Anne Troelstra (1939-2019)". illc.uva.nl. Retrieved 13 March 2019.

External links[edit]