Anne Sjerp Troelstra
Anne Sjerp Troelstra | |
---|---|
Born | Maartensdijk, Utrecht |
10 August 1939
Nationality | Dutch |
Fields | Mathematics |
Institutions | University of Amsterdam |
Alma mater | University of Amsterdam |
Doctoral advisor | Arend Heyting |
Doctoral students | Marcus Aloysius Bezem Ieke Moerdijk Daniel Leivant Laurina Verbrugge |
Anne Sjerp Troelstra (born 10 August 1939) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
He is a constructivist logician, who has been influential in the development of intuitionistic logic.[1][2] With Georg Kreisel, he was a developer of the theory of choice sequences.[3] He also wrote one of the first texts on linear logic,[4] and with H. Schwichtenberg he co-wrote an important book on proof theory.[5]
He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976.[6]
Notes
- ↑ Daimiposten – Oktober 2001
- ↑ MARTIN LÖB (1921–2006)
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
Lua error in package.lua at line 80: module 'strict' not found.
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>