Troelstra (right) with Helmut Schwichtenberg and Yiannis Moschovakis (left), 2002.
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]
^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, JSTOR 2275616, S2CID 117923544
^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, JSTOR 2586674, S2CID 118433941
^"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.
and 21 Related for: Anne Sjerp Troelstra information
AnneSjerpTroelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language...
politician AnneSjerpTroelstra (1939–2019), Dutch mathematician Jelle Troelstra (1891–1979), Dutch painter This page lists people with the surname Troelstra. If...
France AnneSjerpTroelstra (1939–2019), Dutch mathematician and logician Anne Robert Jacques Turgot (1727–1781), French economist and statesman Anne Vermeer...
a pioneering publisher of social critical works in South Africa AnneSjerpTroelstra (1939 in Maartensdijk – 2019) a maths professor the Institute for...
Numbers (Fifth Edition). Oxford University Press. ISBN 0-19-853171-0 AnneSjerpTroelstra and Dirk van Dalen (1988) "Constructivism in Mathematics: Volume...
arXiv:2206.08467. Per Martin-Löf, Intuitionistic type theory, 1980. AnneSjerpTroelstra, Metamathematical investigation of intuitionistic arithmetic and...
Zealand, 1936–1994) Friedrich Adolf Trendelenburg (Germany, 1802–1872) AnneSjerpTroelstra (Netherlands, 1939–2019) Alan Turing (UK, 1912–1954) Kazimierz Twardowski...
career Fields Mathematics Institutions University of Amsterdam Doctoral advisor L. E. J. Brouwer Doctoral students AnneSjerpTroelstra Dirk van Dalen...
Vieweg. pp. 717–740. ISBN 3-528-06326-2. Helmut Schwichtenberg and Anne S. Troelstra (1996). Basic Proof Theory. Cambridge Tracts in Theoretical Computer...
proof theory. Cambridge University Press. ISBN 978-0-521-79307-0. AnneSjerpTroelstra; Helmut Schwichtenberg (2000). Basic proof theory (2nd ed.). Cambridge...
intuitionism and topos theory and was written under the supervision of AnneSjerpTroelstra. After that, he worked as postdoctoral researcher at the University...
1580), Bishop of Haarlem and abbot of Egmond Abbey 1562 to 1569 AnneSjerpTroelstra (1939 in Maartensdijk – 2019), math professor Madelon Hooykaas (born...
Provability Logic and Admissible Rules, was jointly promoted by AnneSjerpTroelstra, Dick de Jongh, and Albert Visser. She was a postdoctoral researcher...
Chinese Academy of Sciences. Issei Suda, 78, Japanese photographer. AnneSjerpTroelstra, 79, Dutch mathematician. Raoul Barrière, 91, French rugby union...
and the Foundation of Mathematics. North-Holland, Amsterdam, 1975. AnneSjerpTroelstra and Helmut Schwichtenberg. Basic Proof Theory. Edition: 2, illustrated...
(in German). 84. Berlin: G. Reimer: 57–78. ISSN 0012-0456. Troelstra, AnneSjerp; — (1988). Constructivism in Mathematics: An Introduction. Amsterdam:...
Mathematical Logic (2nd ed.). A K Peters. ISBN 9781568811352. Troelstra, AnneSjerp; Schwichtenberg, Helmut (2000). Basic Proof Theory. Cambridge Tracts...
Polish] (May 1998). "Lectures on the Curry-Howard Isomorphism" (PDF). Troelstra, AnneSjerp; Schwichtenberg, Helmut (2003) [1996]. Basic Proof Theory (2 ed...