Энн Сьерп Троелстра

Голландский математик (1939–2019)

Троэльстра (справа) с Хельмутом Швихтенбергом и Яннисом Мошовакисом (слева) , 2002 год.

Энн Сьерп Троэльстра (10 августа 1939 г. — 7 марта 2019 г.) — профессор чистой математики и оснований математики в Институте логики, языка и вычислений (ILLC) Амстердамского университета .

Он был логиком- конструктивистом , оказавшим влияние на развитие интуиционистской логики ^[1] . Вместе с Георгом Крайзелем он разработал теорию последовательностей выбора . ^[2] Он написал один из первых текстов по линейной логике [ ^3] , а вместе с Гельмутом Швихтенбергом он написал важную книгу по теории доказательств . ^[4]

В 1976 году он стал членом Королевской Нидерландской академии искусств и наук. ^[5] Троэльстра умер 7 марта 2019 года. ^[6]

Примечания

1. МАРТИН ЛЁБ (1921–2006) Архивировано 23 декабря 2006 года на Wayback Machine
2. Мэрион, Матье (1998), Витгенштейн, финитизм и основания математики , Нью-Йорк: Oxford University Press, стр. 205, ISBN 0-19-823516-X
3. Джервелл, Герман Руге (1996), «Обзор: Лекции по линейной логике А. С. Троелстры», Журнал символической логики , 61 (1): 336–38, doi : 10.2307/2275616, JSTOR  2275616, S2CID  117923544
4. Dyckhoff, Roy (1998), «Обзор: Базовая теория доказательств AS Troelstra; H. Schwichtenberg», Журнал символической логики , 63 (4): 1605–06, doi : 10.2307/2586674, JSTOR  2586674, S2CID  118433941
5. "Anne Troelstra". Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 14 февраля 2016 года . Получено 14 февраля 2016 года .
6. "Энн Троелстра (1939-2019)". illc.uva.nl . Получено 13 марта 2019 .

Внешние ссылки

• Домашняя страница AS Troelstra : Нерабочая ссылка - Архивировано : Домашняя страница AS Troelstra : Получено 27 июня 2018 г.
• Энн Сьерп Троелстра в проекте «Генеалогия математики»