Anne Sjerp Troelstra
| Anne Sjerp Troelstra | ||
|---|---|---|
| ||
Troelstra (rechts) met Helmut Schwichtenberg en Yiannis Moschovakis (links), 2002.
| ||
| Persoonlijke gegevens | ||
| Geboortedatum | 10 augustus 1939 | |
| Geboorteplaats | Maartensdijk | |
| Overlijdensdatum | 7 maart 2019 | |
| Overlijdensplaats | BlaricumMuiderberg[1]
| |
| Nationaliteit | Nederlands | |
| Wetenschappelijk werk | ||
| Vakgebied | Logica, zuivere wiskunde | |
| Universiteit | Universiteit van Amsterdam | |
| Publicaties / Proefschrift | Intuitionistic General Topology | |
| Promotor | Arend Heyting | |
| Alma mater | Universiteit van Amsterdam
| |
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.
Biografie
Na het gymnasium beta gevolgd te hebben aan het Lorentz Lyceum in Eindhoven (1951-1957) ging Troelstra studeren aan de Universiteit van Amsterdam (UvA). In 1964 behaalde hij cun laude er zijn kandidaatsexamen wiskunde. Aansluitend was hij wetenschappelijk medewerker verbonden aan de faculteit wiskunde van de Amsterdamse universiteit. In 1966 promoveerde hij onder hoogleraar Arend Heyting met het proefschrift "Intuitionistic General Topology".
Na een periode in de Verenigde Staten (Stanford en SUVY in New York) keerde Troelstra in 1968 terug naar Nederland alwaar hij lector werd aan de Universiteit van Amsterdam. Twee jaar later volgde al een benoeming tot gewoon hoogleraar van de leerstoel logica, zuivere wiskunde en grondslagen. Deze positie behield hij tot september 2000 toen hij met emeritaat ging.
Werk
Troelstra was een constructivistisch wiskundige die invloed had in de ontwikkeling van intuïtionistisch logica. Samen met Georg Kreisel ontwikkelde hij de theorie van keuzevolgordes. Daarnaast schreef hij een van de eerste artikelen over lineair logica en, met Helmut Schwichtenberg, was hij co-auteur van een belangrijk leerboek over bewijstheorie.[2]
In 1976 werd hij verkozen tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW). Naast zijn UvA-hoogleraarschap was Troelstra onder andere gasthoogleraar aan de universiteit ven Freiburg (Duitsland), Siena (Italië) en Bern (Zwitserland). In november 1996 ontving hij de F.L. Bauer-prijs van de Bund der Freunde der Technischen Universität München voor zijn internationaal uitstaande bijdragen aan de theoretische informatica.
Naast de wiksunde had Troelstra een diepgaande interesse in de natuurhistorie en ontwikkelde hij gedurende zijn leven een brede kennis over planten in binnen- en buitenland. Zijn jaarlijkse publicatie van linosnedes van planten die hij tijdens zijn reizen in Europa had ontdekt, waren beroemd. Daarnaast heeft Anne ook naam gemaakt als auteur van reisverhalen over natuurhistorie, waarin de exotische karakters en avonturen uit het verleden worden beschreven die de gemiddelde academicus van vandaag wordt ontzegd. Zijn belangrijkste bibliografie van verhalen over natuurlijke geschiedenis werd in 2016 gepubliceerd.Van 2008 tot aan zijn overlijden was hij als gastonderzoeker werkzaam bij de Artis Bibliotheek.
- Anne Troelstra (1939-2019). Institute for Logic, Language and Computation. Geraadpleegd op 18 maart 2020.
- In memoriam: Anne Troelstra. Allard Pierson Museum (18 maart 2019).
- ↑ Album Academicum; geraadpleegd op: 9 september 2019; UvA Album Academicum-identificatiecode: id001756.
- ↑ Troelstra, A.S., Schwichtenberg, H (1996) "Basic Proof Theory", Cambridge University Press.