Анне Сьерп Трельстра (10 августа 1939 - 7 марта 2019) была профессором чистой математики и основ математики в Институте логики, языка и вычислений (ILLC) Амстердамского университета .
Энн Сьерп Трельстра | |
---|---|
Родившийся | |
Умер | 7 марта 2019 г. | (79 лет)
Национальность | нидерландский язык |
Альма-матер | Амстердамский университет |
Научная карьера | |
Поля | Математика |
Учреждения | Амстердамский университет |
Тезис | Интуиционистская общая топология (1966) |
Докторант | Аренд Хейтинг |
Докторанты | Иеке Мурдейк |
Он был логиком- конструктивистом , который оказал влияние на развитие интуиционистской логики [1]. Вместе с Георгом Крайзелем он был разработчиком теории последовательностей выбора . [2] Он написал одну из первых текстов на линейной логике , [3] и, с Гельмутом Швихтенберг, он написал в соавторстве важную книгу по теории доказательств . [4]
Он стал членом Королевской Нидерландской академии искусств и наук в 1976 году. [5] Троэльстра умер 7 марта 2019 года. [6]
Заметки
- ^ Мартин Лоб (1921-2006) Дата архивации 23 декабря 2006 в Wayback Machine
- ^ Марион, Матье (1998), Витгенштейн, финитизм и основы математики , Нью-Йорк: Oxford University Press, стр. 205, ISBN 0-19-823516-X
- ^ Джервелл, Герман Руга (1996), "Обзор: Лекции по линейной логике А. С. Трульстра", журнал символической логики , 61 (1): 336-38, DOI : 10,2307 / 2275616
- ^ Dyckhoff, Рой (1998), "Обзор: Основные доказательства теории А. С. Трульстра, Г. Швихтенберг", журнал символической логики , 63 (4): 1605-06, DOI : 10,2307 / 2586674
- ^ «Анне Трельстра» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинального 14 февраля 2016 года . Проверено 14 февраля +2016 .
- ^ «Анне Трельстра (1939-2019)» . illc.uva.nl . Проверено 13 марта 2019 .
Внешние ссылки
- Домашняя страница AS Troelstra : Мертвая ссылка - Архивировано: Домашняя страница AS Troelstra : Проверено 27 июня 2018 г.
- Энн Сьерп Трельстра на проекте « Математическая генеалогия»