Анна Шерп Трулстра (нидерл. Anne Sjerp Troelstra; 10 августа 1939 года, Мартенсдейк — 7 марта 2019 года, Мёйдерберг) — нидерландский математик и логик, профессор Амстердамского университета (Институт логики, языка и информатики[англ.]), специалист по математической логике, интуиционизму, основаниям математики.
| Анна Шерп Трулстра | |
|---|---|
| Anne Sjerp Troelstra | |
| Дата рождения | 10 августа 1939 |
| Место рождения | Мартенсдейк |
| Дата смерти | 7 марта 2019 (79 лет) |
| Место смерти | |
| Страна | Нидерланды |
| Род деятельности | математик, преподаватель университета |
| Научная сфера | Математическая логика |
| Место работы | Амстердамский университет |
| Альма-матер | |
| Учёная степень | Доктор наук |
| Учёное звание | ординарным профессором чистой математики и оснований математики |
| Научный руководитель | Аренд Гейтинг |
| Ученики | Rosalie Iemhoff, Ieke Moerdijk |
| Награды и премии | |
Родился в деревне в провинции Утрехт, учился в гимназии Лоренца в Эйндховене, с 1957 года — на математическом факультете Амстердамского университета, после окончания которого занимал должность ассистента. В 1966 году защитил докторскую диссертацию под руководством Аренда Гейтинга на тему «Интуиционистская общая топология». Благодаря этой теме он ближе познакомился с понятием континуальности в интуиционистской математике. Постдокторантуру проходил в Стенфордском университете под руководством Георга Крайзеля[англ.]. В 1968 году в Университете штата Нью-Йорк в Стоуни-Бруке прочитал серию из 10 лекции по интуиционистской логике, материалы которых легли в основу его первой книги, опубликованной в 1969 году и содержащей ядро идей об интуиционистких формальных системах[2]. Вернувшись на родину в 1968 году стал доцентом, а затем, заняв место Гейтинга, ординарным профессором чистой математики и оснований математики в Амстердамском университете. В 1976 году избран членом Королевской академии наук и искусств Нидерландов[3].
Сочинения
править- Troelstra A. S. Principles of intuitionism: lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY. 1969. 111 p.
- Troelstra A. S. (ed.). Metamathematical investigation of intuitionistic arithmetic and analysis. – Berlin, Heidelberg : Springer Berlin Heidelberg, 1973.
- Troelstra A.S., van Dalen D. Constructivism in Mathematics, Vol 1. 1988. 355 p.
- Troelstra A. S. Lectures on linear logic. – 1992.
- Troelstra A. S., Schwichtenberg H. Basic proof theory. – Cambridge University Press, 2000. – №. 43.
Примечания
править- ↑ Album Academicum — 2007.
- ↑ Troelstra A. S. Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY. — Springer.
- ↑ Anne Troelstra (1939—2019) | Institute for Logic, Language and Computation. Дата обращения: 24 ноября 2023. Архивировано 27 февраля 2020 года.