Трулстра, Анна Шерп

(перенаправлено с «Трулстра, Анне Шерп»)

Анна Шерп Трулстра (нидерл. Anne Sjerp Troelstra; 10 августа 1939 года, Мартенсдейк — 7 марта 2019 года, Мёйдерберг) — нидерландский математик и логик, профессор Амстердамского университета (Институт логики, языка и информатики[англ.]), специалист по математической логике, интуиционизму, основаниям математики.

Анна Шерп Трулстра
Anne Sjerp Troelstra
Дата рождения 10 августа 1939(1939-08-10)
Место рождения Мартенсдейк
Дата смерти 7 марта 2019(2019-03-07) (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.
 
Трулста (справа) с Гельмутом Швихтенбергом (в центре) и Янисом Московакисом (слева), 2002

Примечания

править
  1. Album Academicum — 2007.
  2. Troelstra A. S. Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY. — Springer.
  3. Anne Troelstra (1939—2019) | Institute for Logic, Language and Computation. Дата обращения: 24 ноября 2023. Архивировано 27 февраля 2020 года.