A. S. Troelstra
Encyclopedia
Anne Sjerp Troelstra 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 sequence
s. He also wrote one of the first texts on linear logic
, and with H. Schwichtenberg he co-wrote an important book on proof theory
.
Emeritus
Emeritus is a post-positive adjective that is used to designate a retired professor, bishop, or other professional or as a title. The female equivalent emerita is also sometimes used.-History:...
professor of pure mathematics
Pure mathematics
Broadly speaking, pure mathematics is mathematics which studies entirely abstract concepts. From the eighteenth century onwards, this was a recognized category of mathematical activity, sometimes characterized as speculative mathematics, and at variance with the trend towards meeting the needs of...
and foundations of mathematics
Foundations of mathematics
Foundations of mathematics is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, type theory and recursion theory...
at the Institute for Logic, Language and Computation
Institute for Logic, Language and Computation
The Institute for Logic, Language, and Computation is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate....
(ILLC) of the University of Amsterdam.
He is a constructivist
Constructivism (mathematics)
In the philosophy of mathematics, constructivism asserts that it is necessary to find a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption, one still has not found the object and therefore not proved its...
logician, who has been influential in the development of intuitionistic logic
Intuitionistic logic
Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well-formed statements are assumed to be either true or false, even if we do not have a proof of either...
. With Georg Kreisel
Georg Kreisel
Georg Kreisel FRS is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied mathematics at Trinity College, Cambridge and then, during World War...
, he was a developer of the theory of choice sequence
Choice sequence
In intuitionistic mathematics, a choice sequence is a constructive formulation of a sequence. Since the Intuitionistic school of mathematics, as formulated by L. E. J...
s. He also wrote one of the first texts on linear logic
Linear logic
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter...
, and with H. Schwichtenberg he co-wrote an important book on proof theory
Proof theory
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed...
.