| Profesor | |
| Specjalność: informatyka teoretyczna, logika | |
| Alma Mater |
Uniwersytet Warszawski |
|---|---|
| matematyk, informatyk | |
Victor W. Marek, dawniej Wiktor Marek (ur. 22 marca 1943)[potrzebny przypis] – polski matematyk i informatyk zajmujący się głównie teoretyczną informatyką i logiką. Od 1983 roku pracuje w USA jako profesor zwyczajny.
W roku 1960 ukończył Liceum im. Gen. K. Świerczewskiego w Warszawie. W latach 1960–1964 studiował na Wydziale Matematyki i Fizyki Uniwersytetu Warszawskiego uzyskując tytuł magistra matematyki. Doktoryzował się w 1968 na podstawie rozprawy O modelach permutacyjnych teorii mnogości bez indywiduów napisanej pod kierunkiem Andrzeja Stanisława Mostowskiego. Habilitował się w roku 1972 w Uniwersytecie Warszawskim na podstawie rozprawy On the metamathematics of impredicative set theory.
V. Wiktor Marek był promotorem wielu prac magisterskich oraz 16 rozpraw doktorskich. Doktoryzowali się pod jego kierunkiem:
Wszyscy ci badacze pracowali w uniwersytetach polskich, amerykańskich, francuskich bądź kanadyjskich.
Otrzymał nagrodę im. W. Sierpińskiego przyznana przez Polskie Towarzystwo Matematyczne oraz nagrodę III Wydziału Polskiej Akademii Nauk.
Profesor Marek zajmował się szeregiem dziedzin Podstaw Matematyki a w szczególności kombinatoryką nieskończoną, metamatematyką teorii mnogości, hierarchią konstruowalną[1], arytmetyką II rzędu[2], teorią klas Kelley-Morse[3] oraz uogólnioną teorią rekursji. W szczególności wykazał niesprzeczność tzw. Hipotezy Fraisse'go o teoriach drugiego rzędu liczb porządkowych przeliczalnych pokazując, że jest to konsekwencja aksjomatu konstruowalności Gödla. Wraz z Marianem Srebrnym studiował własności tzw. luk (ang. gaps) w hierarchii konstruowalnej.
Profesor Marek zajmował się logicznymi podstawami informatyki. We wczesnych latach 1970. nawiązał współpracę z prof. Zdzisławem I. Pawlakiem (1926-2006), z którym następnie badał, wprowadzone przez Pawlaka[4], pojęcie systemu informacyjnego[5]. W konsekwencji tych badań nad systemami informacyjnymi oraz zainteresowań Pawlaka klasyfikacją obiektów, zostało wprowadzone przez Pawlaka pojęcie zbiorów przybliżonych (ang. rough sets)[6]. Pojęcie to studiowane było dalej wspólnie przez Marka wraz z Pawlakiem[7]. Następnie pojęcie zbiorów przybliżonych było i jest dalej badane przez liczne grono badaczy w wielu państwach świata. Pojęcie to okazało się być istotne w związkach informatyki ze statystyką, algebrą uniwersalną i kombinatoryką. W dziedzinie logik niemonotonicznych (grupie logik związanych ze sztuczną inteligencją) Marek badał szczególnie tzw. logikę domniemań (ang. default logic) wprowadzoną przez R. Reiter'a[8] oraz logikę autoepistemiczną (ang. autoepistemic logic) R. Moore’a[9]. Badania te doprowadziły do wprowadzenia formy programowania logicznego nazywanej Answer Set Programming[10], intensywnie badanej w Europie i Stanach Zjednoczonych. W szczególności, wraz z M. Truszczyńskim, Marek wykazał, że problem istnienia modeli stabilnych dla programów logicznych zdaniowych jest NP-zupełny. Dla programów dopuszczających dowolne symbole funkcyjne, Marek (wraz z A. Nerode i J. Remmelem) wykazał, że analogiczny problem jest Sigma-1-1 zupełny.
Marek jest autorem ponad 180 prac naukowych w dziedzinie podstaw matematyki i podstaw informatyki. Jest też edytorem licznych tomów prac konferencyjnych oraz autorem czterech książek: