Виктор В. Марк
Виктор Витольд Марек , ранее Виктор Витольд Марек, известный как Витек Марек (родился 22 марта 1943 года), польский математик и ученый-компьютерщик, работающий в области теоретической информатики и математической логики .
Биография
[ редактировать ]Виктор Витольд Марек изучал математику на факультете математики и физики Варшавского университета . Под руководством Анджея Мостовского он получил степень магистра математики в 1964 году и докторскую степень по математике в 1968 году. В 1972 году он получил степень магистра математики.
В 1970–1971 годах Марек был постдокторантом-исследователем в Утрехтском университете , Нидерланды, где работал под руководством Дирка ван Далена . В 1967–1968, а также в 1973–1975 годах он был научным сотрудником Института математики Польской академии наук , Варшава, Польша. В 1979–1980 и 1982–1983 годах работал в Венесуэльском институте научных исследований. В 1976 году он был назначен доцентом кафедры математики Варшавского университета .
В 1983 году он был назначен профессором информатики в Университете Кентукки . В 1989–1990 годах он был приглашенным профессором математики в Корнелльском университете , Итака, Нью-Йорк . В 2001–2002 годах он был посетителем математического факультета Калифорнийского университета в Сан-Диего .
В 2013 году профессор Марек был председателем программного комитета научной конференции, посвященной 100-летию Анджея Мостовского.
Наследие
[ редактировать ]Обучение
[ редактировать ]Он руководил рядом дипломных работ и проектов. Он был консультантом 16 докторантов по математике и информатике. В частности, он консультировал диссертации по математике Малгожаты Дубиэль-Лахлана, Романа Коссака, Адама Кравчика, Тадеуша Крейда, Романа Муравского, Анджея Пелца, Зигмунта Ратайчика, Мариана Сребрного и Зигмунта Ветулани. В области информатики его учениками были В.К. Коди Бумгарднер, Вальдемар В. Кочкодай , Витольд Липски , Джозеф Олдем, Инна Пивкина, Михал Соболевский [1] , Павел Трачик и Зигмунт Ветулани. Эти люди работали в различных высших учебных заведениях Канады, Франции, Польши и США.
Математика
[ редактировать ]Он исследовал ряд областей основ математики , например бесконечную комбинаторику ( большие кардиналы ), метаматематику теории множеств , иерархию конструктивных множеств , [1] модели арифметики второго порядка , [2] импредикативная теория классов Келли–Морса . [3] Он доказал, что так называемая гипотеза Фрэссе ( все теории счетных ординалов второго порядка различны ) вытекает из аксиомы конструктивности Гёделя . Вместе с Марианом Сребрным он исследовал свойства щелей в конструируемой вселенной.
Информатика
[ редактировать ]Он изучал логические основы информатики. В начале 1970-х годов в сотрудничестве со Здиславом Павляком [4] [5] он исследовал системы хранения и поиска информации Павлака, [6] это тогда было широко изучаемой концепцией, особенно в Восточной Европе. По сути, эти системы представляли собой однотабличные реляционные базы данных , но в отличие от пакеты реляционных баз данных Кодда они представляли собой , а не наборы записей . Эти исследования, в свою очередь, привели Павлака к концепции грубого множества . [5] изучали Марек и Павляк в 1981 году. [7] Концепция грубого множества в информатике, статистике , топологии , универсальной алгебре , комбинаторике и модальной логике оказалась выразительным языком для описания и особенно манипулирования неполной информацией.
Логика
[ редактировать ]В области немонотонной логики , группы логик, связанных с искусственным интеллектом Рейтера , он сосредоточился на исследованиях логики по умолчанию . [8] и аутоэпистемическая логика Р. Мура. Эти исследования привели к появлению разновидности логического программирования, называемой программированием набора ответов. [9] формализм представления вычислительных знаний , изучаемый как в Европе, так и в США. Вместе с Мирославом Трушчинским он доказал, что проблема существования устойчивых моделей логических программ NP-полна . В более сильном формализме, допускающем функциональные символы, он вместе с Неродом и Реммелем показал, что аналогичная проблема - это Σ 1
1- полный.
Публикации
[ редактировать ]В. В. Марек — автор более 180 научных работ в области основ математики и информатики. Он также был редактором многочисленных трудов научных собраний. Кроме того, он является автором или соавтором нескольких книг. К ним относятся:
- Логика и основы математики в задачах (совместно с Янушем Онишкевичем )
- Логика и основания математики в задачах (совместно с Янушем Онишкевичем)
- Комбинаторный анализ (совместно с В. Липским ),
- Немонотонная логика – контекстно-зависимое рассуждение (совместно с М. Трушинским),
- Введение в математику выполнимости .
Ссылки
[ редактировать ]- ^ В. Марек и М. Сребрный, Пробелы в конструируемой вселенной, Анналы математической логики, 6: 359–394, 1974.
- ^ КР Апт и В. Марек, Арифметика второго порядка и связанные с ней темы, Анналы математической логики, 6: 177–229, 1974.
- ^ В. Марек, О метаматематике непредикативной теории множеств. Математические диссертации 98, 45 страниц, 1973 г.
- ^ З. Павляк, Математические основы поиска информации. Институт компьютерных наук Польской академии наук, Технический отчет 101, 8 страниц, 1973 г.
- ↑ Перейти обратно: Перейти обратно: а б З. Павляк, Грубые множества. Институт компьютерных наук Польской академии наук, Технический отчет 431, 12 страниц, 1981 г.
- ^ В. Марек и З. Павляк Об основах информационного поиска. Бык. акад. Пол. наук. 22: 447–452, 1974 г.
- ^ В. Марек и З. Павляк. Грубые множества и информационные системы, Институт компьютерных наук, Технический отчет 441, Польская академия наук, 15 страниц, 1981 г.
- ^ М. Денекер, В. В. Марек и М. Трушинский, Единая семантическая трактовка дефолтной и аутоэпистемической логики. Искусственный интеллект . 143:79–122, 2003 г.
- ^ В. В. Марек и М. Трушинский, Стабильное логическое программирование - альтернативная парадигма логического программирования. В: 25 лет парадигмы логического программирования, страницы 375–398, Springer-Verlag, 1999.
Внешние ссылки
[ редактировать ]- Персональная страница доктора В.В. Марека в Университете Кентукки
- Статьи онлайн
- Слайды и другие научные материалы
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
