Nationality Dutch Fields Mathematics Name Anne Troelstra Doctoral advisor Arend Heyting | Role Professor of mathematics Notable students Ieke Moerdijk | |
Born 10 August 1939 (age 84)
Maartensdijk, Utrecht ( 1939-08-10 ) Institutions University of Amsterdam Alma mater University of Amsterdam Doctoral students Marcus Aloysius Bezem
Ieke Moerdijk
Daniel Leivant
Laurina Verbrugge People also search for Dirk van Dalen, Arend Heyting, Ieke Moerdijk Books Basic proof theory, Constructivism in mathematics, Principles of intuitionism, Lectures on linear logic, Choice sequences | ||
Education University of Amsterdam | ||
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. 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.
He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976.
References
Anne Sjerp Troelstra Wikipedia(Text) CC BY-SA