Anne Troelstra

from Wikipedia, the free encyclopedia
Troelstra (right) with Helmut Schwichtenberg and Yiannis Moschovakis (left) , Oberwolfach 2002

Anne Sjerp Troelstra (born August 10, 1939 in Maartensdijk near Utrecht ; † March 7, 2019 in Blaricum ) was a Dutch mathematical logician .


Troelstra went to high school in Eindhoven and studied mathematics at the University of Amsterdam from 1957 , where he was an assistant professor in 1964 after graduating (doctoral examination) and received his doctorate in 1966 with Arend Heyting on intuitionist topology . He then worked as a post-doc at Stanford University with Georg Kreisel . In 1968 he lectured on intuitionist logic at the State University of New York at Stony Brook (SUNY). In the same year he became a lecturer in analysis and in 1970, as successor to Heyting, full professor for pure mathematics and the foundations of mathematics at the University of Amsterdam. In 2000 he was retired. He was visiting professor at Oxford (1973/74), the Albert Ludwig University of Freiburg , the University of Siena and the University of Bern.

Troelstra initially dealt with intuitionistic metamathematics (choice sequences) and Kleene realizability.

Since 1976 he has been a member of the Royal Dutch Academy of Sciences and since 1996 a corresponding member of the Bavarian Academy of Sciences . In 1996 he received the Friedrich L. Bauer Prize .

He wrote several historical books on journeys by naturalists.


  • Principles of Intuitionism. Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (= Lecture Notes in Mathematics . 95). Springer, Berlin et al. 1969 (machine-copied).
  • as editor: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (= Lecture Notes in Mathematics. 344). Springer, Berlin et al. 1973, ISBN 3-540-06491-5 (2nd, corrected edition. (= ILLC Prepublications Series. X-93-05). Institute for Logic et al., Amsterdam 1993).
  • Choice Sequences. A Chapter of Intuitionistic Mathematics. Clarendon Press, Oxford 1977, ISBN 0-19-853163-X .
  • with Dirk van Dalen : Constructivism in Mathematics. An Introduction (= Studies in Logic and the Foundations of Mathematics. 121 and 123). 2 volumes. North-Holland, Amsterdam 1988, ISBN 0-444-70266-0 (Vol. 1), ISBN 0-444-70358-6 (Vol. 2).
  • Lectures on Linear Logic (= CSLI Lecture Notes. 29). CSLI, Menlo Park CA et al. 1992, ISBN 0-937073-78-4 .
  • with Helmut Schwichtenberg : Basic Proof Theory (= Cambridge Tracts in Theoretical Computer Science. 43). Cambridge University Press, Cambridge et al. 1996, ISBN 0-521-57223-1 (2nd edition, ibid. 2000, ISBN 0-521-77911-1 ).
  • Tijgers op de Ararat. Natuurhistorische reisverhalen, 1700–1950. Atlas, Amsterdam 2003, ISBN 90-450-1082-8 (Dutch, on journeys by Linné, Alexander von Humboldt, Darwin, Joseph Hooker, among others).


Web links


  1. in his English CV Troelstra is also a lecturer at
  2. in his English CV Troelstra are readers of