Виктор В. Марек - Victor W. Marek

Виктор Витольд Марек, ранее Виктор Витольд Марек известный как Витек Марек (родился 22 марта 1943 г.) - польский математик и ученый-компьютерщик, работающий в области теоретической информатики и математической логики.

биография

Виктор Витольд Марек изучал математику на физико-математическом факультете Варшавский университет. Под руководством Анджей Мостовски, он получил степень магистра математики в 1964 году и докторскую степень по математике в 1968 году. В 1972 году он получил степень доктора математики.

В 1970–1971 годах Марек работал докторантом в Утрехтский университет, Нидерланды, где он работал под Дирк ван Дален. В 1967–1968, а также в 1973–1975 годах работал научным сотрудником Института математики РАН. Польская Академия Наук, Варшава, Польша. В 1979-1980 и 1982-1983 годах работал в Венесуэльском институте научных исследований. В 1976 году он был назначен доцентом математики в Варшавский университет.

В 1983 году он был назначен профессором компьютерных наук в Университет Кентукки. В 1989–1990 годах он был приглашенным профессором математики в Корнелл Университет, Итака, Нью-Йорк. В 2001-2002 гг. Был приглашенным на математический факультет Калифорнийский университет в Сан-Диего.

Наследие

Обучение

Под его руководством защищен ряд дипломных работ и проектов. Он был консультантом 16 докторантов по математике и информатике. В частности, он консультировал диссертации по математике Малгожаты Дубьель-Лахлан, Романа Коссака, Адама Кравчика, Тадеуша Крейда, Романа Муравского, Анджея Пельца, Зигмунта Ратайчика, Мариана Сребрного и Зигмунта Ветулани. В области информатики его учениками были В. К. Коди Бумгарднер, Вальдемар В. Кочкодай, Витольд Липски, Джозеф Олдхэм, Инна Пивкина, Михал Соболевски[1], Павел Трачик и Зигмунт Ветулани. Все эти люди работали в различных высших учебных заведениях Канады, Франции, Польши и США.

Математика

Он исследовал ряд областей в основах математики, например бесконечную комбинаторику (большие кардиналы), метаматематику теории множеств, иерархию конструктивных множеств,[1] модели арифметики второго порядка,[2] импредикативная теория классов Келли – Морса.[3] Он доказал, что так называемая гипотеза Фраиссе (теории счетных ординалов второго порядка различны) следует из аксиомы Гёделя о конструктивности. Вместе с Марианом Сребрным он исследовал свойства пробелы в конструктивной вселенной.

Информатика

Он изучал логические основы информатики. В начале 1970-х годов в сотрудничестве со Здиславом Павляком[4][5] он исследовал системы хранения и поиска информации Павляка [6] которая тогда была широко изученной концепцией, особенно в Восточной Европе. Эти системы были, по сути, однотабличными реляционными базами данных, но в отличие от реляционных баз данных Кодда были скорее мешками, чем наборами записей. Эти исследования, в свою очередь, привели Павляка к концепции грубый набор,[5] изучен Марек и Павляк в 1981 году.[7] Концепция грубого множества в информатике, статистике, топологии, универсальной алгебре, комбинаторике и модальной логике оказалась выразительным языком для описания и особенно манипулирования неполной информацией.

Логика

В области немонотонной логики, группы логик, связанных с искусственным интеллектом, он сосредоточился на исследованиях логики део Рейтера,[8] и аутоэпистемическая логика Р. Мура. Эти исследования привели к форме логического программирования, называемой Программирование набора ответов [9] формализм вычислительного представления знаний, изучаемый как в Европе, так и в США. Вместе с Мирославом Трушчинским он доказал, что проблема существования стабильных моделей логических программ является NP-полной. В более сильном формализме, допускающем функциональные символы, вместе с Неродом и Реммелем он показал, что аналогичная проблема Σ1
1-полный.

Публикации

В. В. Марек - автор более 180 научных работ в области основ математики и информатики. Он также был редактором многочисленных трудов научных собраний. Кроме того, он является автором или соавтором нескольких книг. К ним относятся:

  • Логика и Подставы Математики в Заданяче (совместно с Я. Онышкевичем)
  • Логика и основы математики в задачах (совместно с Я. Онышкевичем)
  • Анализа Комбинаторчна (совместно с В. Липски ),
  • Немонотонная логика - контекстно-зависимые рассуждения (совместно с М. Трущиньским),
  • Введение в математику выполнимости.

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

  1. ^ В. Марек и М. Сребрный, Разрывы в конструктивной вселенной, Annals of Mathematical Logic, 6: 359–394, 1974.
  2. ^ K.R. Апт и В. Марек, Арифметика второго порядка и смежные вопросы, Annals of Mathematical Logic, 6: 177–229, 1974
  3. ^ В. Марек, О метаматематике импредикативной теории множеств. Математические диссертации 98, 45 страниц, 1973
  4. ^ З. Павляк, Математические основы поиска информации. Институт компьютерных наук Польской академии наук, Технический отчет 101, 8 страниц, 1973 г.
  5. ^ а б З. Павляк, Грубые множества. Институт компьютерных наук Польской академии наук, Технический отчет 431, 12 страниц, 1981 г.
  6. ^ В. Марек, З. Павляк Об основах информационного поиска. Бык. Акад. Pol. Sci. 22: 447–452, 1974.
  7. ^ В. Марек и З. Павляк. Грубые множества и информационные системы, Институт компьютерных наук, Технический отчет 441, Польская академия наук, 15 страниц, 1981
  8. ^ М. Денекер, В. Марек и М. Трущински, Единая семантическая обработка дефолтной и аутоэпистемической логики. Искусственный интеллект. 143: 79–122, 2003 г.
  9. ^ В.В. Марек и М. Трущински, Стабильное логическое программирование - альтернативная парадигма логического программирования. В: 25 лет парадигме логического программирования, страницы 375–398, Springer-Verlag, 1999.

внешняя ссылка