Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of
pure mathematics and
foundations of mathematics
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathe ...
at the
Institute for Logic, Language and Computation (ILLC) of the
University of Amsterdam
The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...
.
He was a
constructivist logician
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
, 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, 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.
Notes
External links
Homepage of A. S. Troelstra: Dead Link - Archived
: Retrieved on 27 June 2018
*
1939 births
2019 deaths
Dutch mathematicians
Members of the Royal Netherlands Academy of Arts and Sciences
People from De Bilt
University of Amsterdam alumni
University of Amsterdam faculty
20th-century Dutch people
{{europe-mathematician-stub