To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Anne Sjerp Troelstra

From Wikipedia, the free encyclopedia

Anne Sjerp Troelstra
Born(1939-08-10)10 August 1939
Died7 March 2019(2019-03-07) (aged 79)
Alma materUniversity of Amsterdam
Scientific career
InstitutionsUniversity of Amsterdam
ThesisIntuitionistic General Topology (1966)
Doctoral advisorArend Heyting
Doctoral studentsIeke Moerdijk
Troelstra (right) with Helmut Schwichtenberg and Yiannis Moschovakis (left), 2002.
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]


  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)". Retrieved 13 March 2019.

External links

This page was last edited on 28 May 2021, at 21:27
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.