Энн Сьерп Трульстра
Энн Сьерп Трульстра | |
|---|---|
| Рожденный | 10 августа 1939 г. |
| Умер | 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), Витгенштейн, финитизм и основы математики , Нью-Йорк: Oxford University Press, стр. 205, ISBN 0-19-823516-Х
- ^ Джервелл, Герман Руге (1996), «Обзор: Лекции по линейной логике А. С. Троелстры», Журнал символической логики , 61 (1): 336–38, doi : 10.2307/2275616 , JSTOR 2275616 , S2CID 117923544
- ^ Дайкхофф, Рой (1998), «Обзор: Базовая теория доказательств А. С. Троелстры; Х. Швихтенберга», Журнал символической логики , 63 (4): 1605–06, doi : 10.2307/2586674 , JSTOR 2586674 , S2CID 118433941
- ^ «Анна Трульстра» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 14 февраля 2016 года . Проверено 14 февраля 2016 г.
- ^ «Анн Трульстра (1939-2019)» . illc.uva.nl. Проверено 13 марта 2019 г.
Внешние ссылки
[ редактировать ]- Домашняя страница AS Troelstra : Мертвая ссылка - Архивировано: Домашняя страница AS Troelstra : Проверено 27 июня 2018 г.
- Энн Шерп Трульстра в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья о голландском ученом незавершена . Вы можете помочь Википедии, расширив ее . |
 | статья о европейском математике незавершена Эта . Вы можете помочь Википедии, расширив ее . |
- 1939 рождений
- смертей в 2019 году
- Голландские математики
- Члены Королевской Нидерландской академии искусств и наук
- Люди из Де Билта
- Выпускники Амстердамского университета
- Академический состав Амстердамского университета
- Голландцы 20-го века
- Голландский ученый незавершенный
- Европейские математики незавершены