The Friedrich L. Bauer Prize was awarded to Anne Sjerp Troelstra in 1996 for his contributions to the field of logic. A mathematician from the Netherlands, he focused his academic career on the foundations of mathematics, intuitionistic logic, and proof theory, operating primarily out of the University of Amsterdam where he served as a professor until his retirement in 2000.
Mathematical Contributions
Troelstra operated within the framework of constructivist logic. His work significantly advanced the development of intuitionistic logic. In collaboration with Georg Kreisel, he developed the theory of choice sequences. His research expanded into emerging computational areas, resulting in one of the earliest texts concerning linear logic. Furthermore, he co-authored a foundational book on proof theory alongside Helmut Schwichtenberg.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Academic Career at Amsterdam
The University of Amsterdam served as the primary site of his professional life. He held teaching positions at the institution from 1969 until his retirement in 2000. During this period, he was affiliated with the Institute for Logic, Language and Computation. His peers recognized his standing in the academic community through his induction into the Royal Netherlands Academy of Arts and Sciences in 1976.
Natural History Writing
Following his retirement, Troelstra pivoted toward authorship in the field of natural history travel. He published the Bibliography of Natural History Travel Narratives with Brill in 2017. His bibliography includes various titles written in Dutch, such as Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950 and Van Spitsbergen naar Suriname.
Fast facts
- Born: 1939, Maartensdijk
- Died: 2019, Muiderberg
- Education: University of Amsterdam
- Primary Affiliation: University of Amsterdam
- Academy Membership: Royal Netherlands Academy of Arts and Sciences
- Notable Award: Friedrich L. Bauer Prize, 1996
Questions readers ask
What subjects did Anne Sjerp Troelstra teach?
He was a professor of pure mathematics and foundations of mathematics.
What did he study after retiring from mathematics?
He focused on writing books regarding natural history travel narratives.
Achievements
- Friedrich L. Bauer Prize — 1996
- Held posts at University of Amsterdam, University of Amsterdam and University of Amsterdam
- Fields: mathematics and logic
.jpg)
