Anne Sjerp Troelstra (original) (raw)
- 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. He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976. Troelstra died on 7 March 2019. (en)
- Anne Sjerp Troelstra (* 10. August 1939 in bei Utrecht; † 7. März 2019 in Blaricum) war ein niederländischer mathematischer Logiker. (de)
- Anne Sjerp Troelstra (Maartensdijk, 10 augustus 1939 – Blaricum, 7 maart 2019) was een Nederlands hoogleraar zuivere wiskunde en grondslagen van de wiskunde aan het Instituut voor Taal, Logica, en Informatie (ITLI) van de Universiteit van Amsterdam. (nl)
- 1939-08-10 (xsd:date)
- http://www.uva.nl/over-de-uva/organisatie/medewerkers/content/t/r/a.s.troelstra/a.s.troelstra.html
- https://web.archive.org/web/20170308082323/http:/www.uva.nl/over-de-uva/organisatie/medewerkers/content/t/r/a.s.troelstra/a.s.troelstra.html
- 15067195 (xsd:integer)
- 3906 (xsd:nonNegativeInteger)
- 1124112698 (xsd:integer)
- dbr:Royal_Netherlands_Academy_of_Arts_and_Sciences
- dbr:Blaricum
- dbr:University_of_Amsterdam
- dbr:Utrecht_(province)
- dbr:Intuitionistic_logic
- dbr:Mathematics
- dbr:Georg_Kreisel
- dbr:Linear_logic
- dbr:Maartensdijk
- dbr:Choice_sequence
- dbc:1939_births
- dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences
- dbc:University_of_Amsterdam_alumni
- dbc:Dutch_mathematicians
- dbc:People_from_De_Bilt
- dbr:Dutch_people
- dbr:Foundations_of_mathematics
- dbr:Proof_theory
- dbr:Helmut_Schwichtenberg
- dbc:2019_deaths
- dbr:Arend_Heyting
- dbc:20th-century_Dutch_people
- dbc:University_of_Amsterdam_faculty
- dbr:Constructivism_(mathematics)
- dbr:Ieke_Moerdijk
- dbr:Institute_for_Logic,_Language_and_Computation
- dbr:Pure_mathematics
- dbr:Logician
- dbr:File:Moschovakis_Schwichtenberg_Troelstra.jpg
- University of Amsterdam (en)
- 1939-08-10 (xsd:date)
- Anne Sjerp Troelstra (en)
- Intuitionistic General Topology (en)
- 1966 (xsd:integer)
- dbt:Netherlands-scientist-stub
- dbt:Authority_control
- dbt:Birth_date
- dbt:Short_description
- dbt:Death_date_and_age
- dbt:MathGenealogy
- dbt:Infobox_scientist
- dbt:Europe-mathematician-stub
- dbc:1939_births
- dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences
- dbc:University_of_Amsterdam_alumni
- dbc:Dutch_mathematicians
- dbc:People_from_De_Bilt
- dbc:2019_deaths
- dbc:20th-century_Dutch_people
- dbc:University_of_Amsterdam_faculty
- owl:Thing
- foaf:Person
- dbo:Person
- dul:NaturalPerson
- wikidata:Q19088
- wikidata:Q215627
- wikidata:Q5
- wikidata:Q729
- dbo:Animal
- dbo:Eukaryote
- dbo:Scientist
- dbo:Species
- schema:Person
- yago:WikicatLivingPeople
- yago:WikicatLogicians
- yago:WikicatPeopleFromDeBilt
- wikidata:Q901
- yago:CausalAgent100007347
- yago:Expert109617867
- yago:LivingThing100004258
- yago:Logician110269785
- yago:Mathematician110301261
- yago:Object100002684
- yago:Organism100004475
- yago:Person100007846
- yago:PhysicalEntity100001930
- yago:YagoLegalActor
- yago:YagoLegalActorGeo
- yago:Scientist110560637
- yago:Whole100003553
- yago:WikicatDutchMathematicians
- yago:WikicatDutchPeople
- Anne Sjerp Troelstra (* 10. August 1939 in bei Utrecht; † 7. März 2019 in Blaricum) war ein niederländischer mathematischer Logiker. (de)
- Anne Sjerp Troelstra (Maartensdijk, 10 augustus 1939 – Blaricum, 7 maart 2019) was een Nederlands hoogleraar zuivere wiskunde en grondslagen van de wiskunde aan het Instituut voor Taal, Logica, en Informatie (ITLI) van de Universiteit van Amsterdam. (nl)
- 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. (en)
- Anne Sjerp Troelstra (en)
- Anne Troelstra (de)
- Anne Sjerp Troelstra (nl)
- freebase:Anne Sjerp Troelstra
- yago-res:Anne Sjerp Troelstra
- http://viaf.org/viaf/44365390
- http://d-nb.info/gnd/131940058
- https://dblp.org/pid/20/4185
- wikidata:Anne Sjerp Troelstra
- http://data.bibliotheken.nl/id/thes/p068668724
- http://arz.dbpedia.org/resource/انى_سچيرپ_ترويلسترا
- dbpedia-de:Anne Sjerp Troelstra
- dbpedia-nl:Anne Sjerp Troelstra
- https://global.dbpedia.org/id/4kpGf
- Anne Sjerp Troelstra (en)
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
- dbr:De_Bilt
- dbr:Anne
- dbr:Rineke_Verbrugge
- dbr:Deaths_in_March_2019
- dbr:List_of_logicians
- dbr:Constructive_proof
- dbr:Maartensdijk
- dbr:Completeness_of_atomic_initial_sequents
- dbr:Markov's_principle
- dbr:Foundations_of_mathematics
- dbr:Arend_Heyting
- dbr:Troelstra
- dbr:Ieke_Moerdijk
- dbr:Anne_S._Troelstra
- dbr:Anne_Troelstra
- dbr:A._S._Troelstra
is dbp:doctoralAdvisor of
is dbp:doctoralStudents of
is foaf:primaryTopic of