Anne Sjerp Troelstra
Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He was a constructivist logician, who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.
doctoral advisor
doctoral student
Wikipage redirect
A. S. TroelstraAnneAnne S. TroelstraAnne TroelstraArend HeytingBar inductionChoice sequenceCompleteness of atomic initial sequentsConstructive proofConstructivism (philosophy of mathematics)De_BiltDeaths in March 2019Disjunction and existence propertiesDouble-negation translationFoundations of mathematicsGerman Association for Mathematical Logic and for Basic Research in the Exact SciencesHeyting arithmeticIeke MoerdijkInstitute for Logic, Language and ComputationLinear logicList of logiciansLogics for computabilityMarkov's principleProof theorySpread (intuitionism)TroelstraUltrafinitism
Link from a Wikipage to another Wikipage
doctoral advisor
doctoral students
primaryTopic
Anne Sjerp Troelstra
Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He was a constructivist logician, who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.
has abstract
Anne Sjerp Troelstra (* 10. Au ...... ischer mathematischer Logiker.
@de
Anne Sjerp Troelstra (10 Augus ...... roelstra died on 7 March 2019.
@en
Anne Sjerp Troelstra (Maartens ...... de Universiteit van Amsterdam.
@nl
academic discipline
alma mater
birth date
1939-08-10
birth place
death place
doctoral advisor
doctoral student
institution
nationality
Link from a Wikipage to an external page
Wikipage page ID
15,067,195
page length (characters) of wiki page
Wikipage revision ID
1,025,671,742
Link from a Wikipage to another Wikipage
alma mater
University of Amsterdam
@en
birth date
1939-08-10
birth place
death place
doctoral advisor
doctoral students
fields
name
Anne Sjerp Troelstra
@en
nationality
thesis title
Intuitionistic General Topology
@en
thesis year
wikiPageUsesTemplate
workplaces
subject
hypernym
sameAs
comment
Anne Sjerp Troelstra (* 10. Au ...... ischer mathematischer Logiker.
@de
Anne Sjerp Troelstra (10 Augus ...... mportant book on proof theory.
@en
Anne Sjerp Troelstra (Maartens ...... de Universiteit van Amsterdam.
@nl
label
Anne Sjerp Troelstra
@en
Anne Sjerp Troelstra
@nl
Anne Troelstra
@de
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Anne Sjerp Troelstra
@en