stringtranslate.com

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

Троэльстра (справа) с Хельмутом Швихтенбергом и Яннисом Мошовакисом (слева) , 2002 год.

Энн Сьерп Троэльстра (10 августа 1939 г. — 7 марта 2019 г.) — профессор чистой математики и оснований математики в Институте логики, языка и вычислений (ILLC) Амстердамского университета .

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

В 1976 году он стал членом Королевской Нидерландской академии искусств и наук. [5] Троэльстра умер 7 марта 2019 года. [6]

Примечания

  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, JSTOR  2275616, S2CID  117923544
  4. ^ Dyckhoff, Roy (1998), «Обзор: Базовая теория доказательств AS Troelstra; H. Schwichtenberg», Журнал символической логики , 63 (4): 1605–06, doi : 10.2307/2586674, JSTOR  2586674, S2CID  118433941
  5. ^ "Anne Troelstra". Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 14 февраля 2016 года . Получено 14 февраля 2016 года .
  6. ^ "Анн Трульстра (1939-2019)" . illc.uva.nl. ​Проверено 13 марта 2019 г.

Внешние ссылки


  • в
  • т
  • е
  • в
  • т
  • е