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 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
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 st ...
(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 bein ...
.
He was a
constructivist logician
Logic is the study of correct reasoning. It includes both Mathematical logic, formal and informal logic. Formal logic is the science of Validity (logic), deductively valid inferences or of logical truths. It is a formal science investigating h ...
, 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, system ...
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 fami ...
, he was a developer of the theory of
choice sequence In intuitionistic mathematics, a choice sequence is a constructive formulation of a sequence. Since the Intuitionistic school of mathematics, as formulated by L. E. J. Brouwer, rejects the idea of a completed infinity, in order to use a sequence (w ...
s. He wrote one of the first texts on
linear logic
Linear logic is a substructural logic proposed by 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 logic has also ...
, and, with
Helmut Schwichtenberg
Helmut Schwichtenberg (born 5 April 1942 in Żagań) is a German mathematical logician.
Schwichtenberg studied mathematics from 1961 at the FU Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 fro ...
, he co-wrote an important book on
proof theory.
He became a member of the
Royal Netherlands Academy of Arts and Sciences
The Royal Netherlands Academy of Arts and Sciences ( nl, Koninklijke Nederlandse Akademie van Wetenschappen, abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed ...
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