Anne Sjerp Troelstra, Date of Birth, Place of Birth, Date of Death

Anne Sjerp Troelstra

Dutch mathematician

Date of Birth: 10-Aug-1939

Place of Birth: Maartensdijk, Utrecht, Netherlands

Date of Death: 07-Mar-2019

Profession: mathematician, university teacher

Nationality: Kingdom of the Netherlands

Zodiac Sign: Leo

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. 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.