Anne Sjerp Troelstra
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.
Anne Sjerp Troelstra | |
|---|---|
| Born | 10 August 1939 |
| Died | 7 March 2019 (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 | |
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.
He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976. Troelstra died on 7 March 2019.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.