Anne Sjerp Troelstra
Mathematician, Academic
1939 –
Photo Credit ยป
53 Views
Who is Anne Sjerp Troelstra?
Anne Sjerp Troelstra is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation of the University of Amsterdam.
He is a constructivist logician, who has been influential in the development of intuitionistic logic. With Georg Kreisel, he was a developer of the theory of choice sequences. He also wrote one of the first texts on linear logic, and with H. Schwichtenberg he co-wrote an important book on proof theory.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Aug 10, 1939
Maartensdijk - Also known as
- A. Troelstra
- Nationality
- Netherlands
- Profession
- Education
- Universiteit van Amsterdam
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Anne Sjerp Troelstra." Biographies.net. STANDS4 LLC, 2024. Web. 26 Apr. 2024. <https://www.biographies.net/people/en/a_s_troelstra>.
Powered by CITE.ME
Discuss this Anne Sjerp Troelstra biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In