Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of

pure mathematics Pure mathematics is the study of mathematical concepts independently of any application outside mathematics. These concepts may originate in real-world concerns, and the results obtained may later turn out to be useful for practical applications ...

and

foundations of mathematics Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...

at the

Institute for Logic, Language and Computation The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate. The ILLC's central research area is the s ...

(ILLC) of the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...

. He was a constructivist

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...

, who was influential in the development of

intuitionistic logic Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems ...

With

Georg Kreisel Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America. Biography Kreisel was born in Graz and came from a Jewish background; his family s ...

, he was a developer of the theory of choice sequences. He wrote one of the first texts on

linear logic Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the ...

, and, with

Helmut Schwichtenberg Helmut Schwichtenberg (born 5 April 1942) is a German mathematical logician. Schwichtenberg studied mathematics from 1961 at the Free University of Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from ...

, he co-wrote an important book on

proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...

. He became a member of the

Royal Netherlands Academy of Arts and Sciences The Royal Netherlands Academy of Arts and Sciences (, KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. In addition to various advisory a ...

in 1976. Troelstra died on 7 March 2019. 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

External links

Homepage of A. S. Troelstra
: Dead Link - Archived

: Retrieved on 27 June 2018 * 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 {{europe-mathematician-stub