Вим Блок - Wim Blok

Виллем Йоханнес "Вим" Блок (1947–2003) был голландским логиком, внесшим большой вклад в алгебраическая логика, универсальная алгебра, и модальная логика. Среди его важных достижений в течение его карьеры - «блестящая демонстрация того факта, что различные методы и результаты, возникшие в универсальной алгебре, могут быть использованы для доказательства важных и глубоких теорем модальной логики».[1]

Блок начал свою карьеру в 1973 году как алгебраист, исследующий разновидности внутренние алгебры на Иллинойский университет в Чикаго. После завершения в 1976 г. защиты докторской диссертации по этой теме он продолжил изучение более общих разновидностей модальные алгебры. Как алгебраист Блок «был признан сообществом модальной логики одним из самых влиятельных модальных логиков» к концу 1970-х годов.[2] Он опубликовал много статей в Отчеты по математической логике, входил в их редакционную коллегию и был одним из их приглашенных редакторов.[1] Вместе с Дон Пигоцци, Вим Блок является соавтором монографии Алгебраизируемая логика который положил начало области, ныне известной как абстрактная алгебраическая логика.[3]

Он погиб в автокатастрофе 30 ноября 2003 года.[1]

Рекомендации

  1. ^ а б c Шрифт, Хосеп Мария (май 2006 г.). "Памяти Вима Блока". Отчеты по математической логике (Специальный выпуск). CiteSeerX  10.1.1.103.2741.
  2. ^ Rautenberg, W .; Wolter, F .; Захарящев, М. (июнь 2006 г.). "Виллем Блок и модальная логика". Studia Logica. 83 (1–3): 15–30. Дои:10.1007 / s11225-006-8296-2. Получено 24 июня, 2016 - через ResearchGate.
  3. ^ Рафтери, Джеймс Г. (март 2004 г.). "Работа Виллема Блока по алгебраической логике". Studia Logica: международный журнал символической логики. 76 (2): 155–160. JSTOR  20016583.