Anne Sjerp Troelstra
|Died||7 March 2019 (aged 79)|
|Alma mater||University of Amsterdam|
|Institutions||University of Amsterdam|
|Thesis||Intuitionistic General Topology (1966)|
|Doctoral advisor||Arend Heyting|
|Doctoral students||Ieke 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 With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.
|This article about a Dutch scientist is a stub. You can help popflock.com resource by .|