Anne Sjerp Troelstra | |
|---|---|
| Born | (1939-08-10)10 August 1939 |
| Died | 7 March 2019(2019-03-07) (aged 79) |
| Nationality | Dutch |
| Alma mater | University of Amsterdam |
| Scientific career | |
| Fields | Mathematics |
| Institutions | University of Amsterdam |
| Thesis | Intuitionistic General Topology (1966) |
| Doctoral advisor | Arend Heyting |
| Doctoral students | |
Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor ofpure mathematics andfoundations of mathematics at theInstitute for Logic, Language and Computation (ILLC) of theUniversity of Amsterdam.
He was aconstructivistlogician, who was influential in the development ofintuitionistic logic[1] WithGeorg Kreisel, he was a developer of the theory ofchoice sequences.[2] He wrote one of the first texts onlinear logic,[3] and, withHelmut Schwichtenberg, he co-wrote an important book onproof theory.[4]
He became a member of theRoyal Netherlands Academy of Arts and Sciences in 1976.[5] Troelstra died on 7 March 2019.[6]
After his retirement in 2000, Troelstra began a prolific career as the author of books on natural history travel, including the Bibliography of Natural History Travel Narratives, published with Brill in 2017. There are many others in Dutch, including Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950 (Tigers on the Ararat. Natural History Travel Narratives 1700-1950), Van Spitsbergen naar Suriname (From Spitsbergen to Surinam).
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
   | This article about a Dutch scientist is astub. You can help Wikipedia byexpanding it. |
 | This article about a Europeanmathematician is astub. You can help Wikipedia byexpanding it. |
