Анне Сьерп Трельстра - Anne Sjerp Troelstra
Энн Сьерп Трельстра | |
---|---|
Родившийся |
|
10 августа 1939 г.
Умер | 7 марта 2019 г. |
(79 лет)
Национальность | нидерландский язык |
Альма-матер | Амстердамский университет |
Научная карьера | |
Поля | Математика |
Учреждения | Амстердамский университет |
Тезис | Интуиционистская общая топология (1966) |
Докторант | Аренд Хейтинг |
Докторанты | Иеке Мурдейк |
Анне Сьерп Трельстра (10 августа 1939 - 7 марта 2019) была профессором чистой математики и основ математики в Институте логики, языка и вычислений (ILLC) Амстердамского университета .
Он был логиком- конструктивистом , который оказал влияние на развитие интуиционистской логики. Вместе с Георгом Крайзелем он был разработчиком теории последовательностей выбора . Он написал один из первых текстов по линейной логике и вместе с Гельмутом Швихтенбергом он написал важную книгу по теории доказательств .
Он стал членом Королевской Нидерландской академии искусств и наук в 1976 году. Троэльстра умер 7 марта 2019 года.
Заметки
- ^ Мартин Лоб (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 г.
- Энн Сьерп Трельстра на проекте « Математическая генеалогия»