Wiktor Marek - sylwetka autora

Polski matematyk, logik i informatyk, profesor związany z University of Kentucky, ma znaczący dorobek w dziedzinie nauk ścisłych. Rozpoczął swoją edukacyjną podróż studiując na Wydziale Matematyki i Fizyki Uniwersytetu Warszawskiego, gdzie w latach 1960-1964 uzyskał tytuł magistra matematyki. W 1968 roku ukończył doktorat na podstawie pracy "O modelach permutacyjnych teorii mnogości bez indywiduów", której promotorem był uznawany autorytet Andrzej Stanisław Mostowski. Kontynuując rozwój naukowy, habilitował się na Uniwersytecie Warszawskim w 1972 roku, przedstawiając pracę naukową dotyczącą metamatematyki teorii mnogości impredykatywnej.

W swojej naukowej działalności profesor koncentrował się na różnych aspektach Podstaw Matematyki, z szczególnym uwzględnieniem kombinatoryki nieskończonej, metamatematyki teorii mnogości, hierarchii konstruowalnej oraz innych zaawansowanych teorii. Jednym z jego znaczących osiągnięć było wykazanie niesprzeczności Hipotezy Fraisse'go w kontekście teorii liczby porządkowej drugiego rzędu, związanej z aksjomatem konstruowalności Gödla. Z Marianem Srebrnym badał także właściwości tzw. luk w hierarchii konstruowalnej.

Profesor Marek miał istotny wpływ na logiczne podstawy informatyki, co zaczęło się we wczesnych latach 1970. Współpracował wtedy z prof. Zdzisławem Pawlakiem nad systemami informacyjnymi, co doprowadziło do opracowania konceptu zbiorów przybliżonych, które stały się kluczowe w analizie związków informatyki z innymi dziedzinami, takimi jak statystyka czy algebra uniwersalna.

W obszarze logik niemonotonicznych, związanych ze sztuczną inteligencją, Marek badał szczególnie logikę domniemań i logikę autoepistemiczną. Te badania przyczyniły się do rozwoju Answer Set Programming, istotnego zarówno w Europie, jak i w Stanach Zjednoczonych. Wspólnie z M. Truszczyńskim dowiódł, że problem istnienia modeli stabilnych dla programów logicznych zdaniowych jest NP-zupełny, a dla programów z dowolnymi symbolami funkcyjnymi, pracując z A. Nerode i J. Remmelem, wykazał, że pokrewny problem jest Sigma-1-1 zupełny.

Więcej informacji można znaleźć na stronie https://******.**