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