Виллем Йоханнес «Вим» Блок (1947–2003) был голландским логиком , внесшим большой вклад в алгебраическую логику , универсальную алгебру и модальную логику . Его важные достижения в течение его карьеры включают «блестящую демонстрацию того факта, что различные методы и результаты, возникшие в универсальной алгебре, могут быть использованы для доказательства важных и глубоких теорем модальной логики». [1]
Блок начал свою карьеру в 1973 году в качестве алгебраиста, исследовавшего многообразия внутренних алгебр в Иллинойском университете в Чикаго . После того, как в 1976 г. защитил докторскую диссертацию. по этой теме он продолжил изучение более общих многообразий модальных алгебр . Как алгебраист Блок «был признан сообществом модальной логики одним из самых влиятельных модальных логиков» к концу 1970-х годов. [2] Он опубликовал множество статей в журналах « Reports on Mathematical Logic» , был членом их редакционной коллегии и был одним из их приглашенных редакторов. [1] Вместе с Доном Пигоцци Вим Блок является соавтором монографии « Алгебраизируемые логики».которая положила начало области, ныне известной как абстрактная алгебраическая логика . [3]
Он погиб в автокатастрофе 30 ноября 2003 г. [1]
Рекомендации
- ^ a b c Шрифт, Хосеп Мария (май 2006 г.). «Памяти Вима Блока». Доклады по математической логике (специальный выпуск). CiteSeerX 10.1.1.103.2741 .
- ^ Rautenberg, W .; Wolter, F .; Захарящев, М. (июнь 2006 г.). "Виллем Блок и модальная логика" . Studia Logica . 83 (1–3): 15–30. DOI : 10.1007 / s11225-006-8296-2 . S2CID 17091670 . Проверено 24 июня 2016 г. - через ResearchGate.
- ^ Рафтери, Джеймс Г. (март 2004 г.). "Работа Виллема Блока по алгебраической логике". Studia Logica . 76 (2): 155–160. DOI : 10,1023 / Б: STUD.0000032083.45504.62 . JSTOR 20016583 . S2CID 37825139 .