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

Anne Sjerp Troelstra (10 августа 1939 г. - 7 марта 2019 г.) был профессором чистой математики и основы математики в Институте логики, языка и вычислений (ILLC) Амстердамского университета.

Он был конструктивистом логик, оказавший влияние на развитие интуиционистской логики Вместе с Георгом Крейзелем он был разработчиком теории последовательностей выбора. Он написал один из первых текстов по линейной логике, и вместе с Гельмутом Швихтенбергом он написал важную книгу по теории доказательств.

. Он стал членом Королевского общества Нидерландов. Академия художеств и наук в 1976 году. Трельстра умер 7 марта 2019 года.

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
4. ^Дайкхофф, Рой (1998), «Обзор: Основная теория доказательств, автор А.С. Трельстра; Х. Швичтенберг», Журнал символической логики, 63 (4): 1605–06, doi : 10.2307 / 2586674
5. ^«Энн Трэлстра». Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 14 февраля 2016 г. Получено 14 февраля 2016 г.
6. ^«Anne Troelstra (1939-2019)». illc.uva.nl. Проверено 13 марта 2019 г.

• Домашняя страница AS Troelstra : Мертвая ссылка - Архивировано: Домашняя страница AS Troelstra : Проверено 27 июня 2018 г.
• Anne Sjerp Troelstra в Проекте математической генеалогии