Anne Sjerp Troelstra
Anne Sjerp Troelstra | |
|---|---|
| Born | 10 August 1939 |
| Died | 7 March 2019 (aged 79) |
| 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 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]
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).
Notes
[edit | edit source]- ^ MARTIN LÖB (1921–2006) Archived 23 December 2006 at the Wayback Machine
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Homepage of A. S. Troelstra : Dead Link - Archived : Homepage of A. S. Troelstra : Retrieved on 27 June 2018
- Anne Sjerp Troelstra at the Mathematics Genealogy Project
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
- 1939 births
- 2019 deaths
- Dutch mathematicians
- Mathematical logicians
- Proof theorists
- Members of the Royal Netherlands Academy of Arts and Sciences
- People from De Bilt
- University of Amsterdam alumni
- Academic staff of the University of Amsterdam
- 20th-century Dutch people
- Dutch scientist stubs
- European mathematician stubs