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