Вим Блок
Виллем Йоханнес «Вим» Блок (1947–2003) был голландским логиком, внесшим значительный вклад в алгебраическую логику , универсальную алгебру и модальную логику . Его важные достижения на протяжении всей карьеры включают «блестящую демонстрацию того факта, что различные методы и результаты, возникшие в универсальной алгебре, могут быть использованы для доказательства важных и глубоких теорем модальной логики». [ 1 ]
Блок начал свою карьеру в 1973 году в качестве алгебраиста, исследующего разновидности внутренних алгебр в Иллинойском университете в Чикаго . После защиты в 1976 году докторской степени. По этой теме он продолжил изучение более общих разновидностей модальных алгебр . К концу 1970-х годов Блок как алгебраист «был признан сообществом модальной логики одним из самых влиятельных модальных логиков». [ 2 ] Он опубликовал множество статей в « Отчетах по математической логике» , был членом их редакционной коллегии и был одним из приглашенных редакторов. [ 1 ] Вместе с Доном Пигоцци Вим Блок стал соавтором монографии «Алгебраизуемые логики» , положившей начало области, ныне известной как абстрактная алгебраическая логика . [ 3 ]
Он погиб в автокатастрофе 30 ноября 2003 года. [ 1 ]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б с Шрифт, Хосеп Мария (май 2006 г.). «Памяти Вима Блока». Доклады по математической логике (спецвыпуск). CiteSeerX 10.1.1.103.2741 .
- ^ Раутенберг, В .; Уолтер, Ф.; Захарьящев, М. (июнь 2006 г.). «Виллем Блок и модальная логика» . Студия Логика . 83 (1–3): 15–30. дои : 10.1007/s11225-006-8296-2 . S2CID 17091670 . Проверено 24 июня 2016 г. - через ResearchGate.
- ^ Рафтери, Джеймс Г. (март 2004 г.). «Работа Виллема Блока по алгебраической логике». Студия Логика . 76 (2): 155–160. дои : 10.1023/B:STUD.0000032083.45504.62 . JSTOR 20016583 . S2CID 37825139 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | статья о европейском математике незавершена Эта . Вы можете помочь Википедии, расширив ее . |