Меню Главная Случайная статья Настройки Трулстра, Анна Шерп Материал из https://ru.wikipedia.org Анна Шерп Трулстра (нид. Anne Sjerp Troelstra; 10 августа 1939 года, Мартенсдейк — 7 марта 2019 года, Мёйдерберг) — нидерландский математик и логик, профессор Амстердамского университета (Институт логики, языка и информатики[англ.]), специалист по математической логике, интуиционизму, основаниям математики. Родился в деревне в провинции Утрехт, учился в гимназии Лоренца в Эйндховене, с 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 года.