Wiktor W. Marek

Victor Witold Marek , dawniej Wiktor Witold Marek znany jako Witek Marek (ur. 22 marca 1943) to polski matematyk i informatyk pracujący w dziedzinie informatyki teoretycznej i logiki matematycznej .

Biografia

Wiktor Witold Marek studiował matematykę na Wydziale Matematyki i Fizyki Uniwersytetu Warszawskiego . Pod kierunkiem Andrzeja Mostowskiego uzyskał tytuł magistra matematyki w 1964 r. i stopień doktora nauk matematycznych w 1968 r. Habilitację z matematyki uzyskał w 1972 r.

W latach 1970-1971 Marek był pracownikiem naukowym podoktorskim na Uniwersytecie w Utrechcie w Holandii, gdzie pracował pod kierunkiem Dirka van Dalena . W latach 1967-1968 oraz 1973-1975 był pracownikiem naukowym w Instytucie Matematyki Polskiej Akademii Nauk w Warszawie. W latach 1979-1980 i 1982-1983 pracował w Wenezuelskim Instytucie Badań Naukowych. W 1976 został mianowany adiunktem matematyki na Uniwersytecie Warszawskim .

W 1983 roku został mianowany profesorem informatyki na Uniwersytecie Kentucky . W latach 1989-1990 był profesorem wizytującym matematyki na Cornell University , Ithaca, Nowy Jork . W latach 2001-2002 gościł na Wydziale Matematyki Uniwersytetu Kalifornijskiego w San Diego .

W 2013 roku prof. Marek był Przewodniczącym Rady Programowej konferencji naukowej z okazji 100-lecia Andrzeja Mostowskiego.

Dziedzictwo

Nauczanie

Był promotorem wielu prac dyplomowych i projektów. Był promotorem 16 doktorantów zarówno z matematyki, jak i informatyki. W szczególności był promotorem prac matematycznych Małgorzaty Dubiel-Lachlan, Romana Kossaka, Adama Krawczyka, Tadeusza Kreida, Romana Murawskiego, Andrzeja Pelca, Zygmunta Ratajczyka, Mariana Srebrnego i Zygmunta Vetulaniego. W informatyce jego uczniami byli VK Cody Bumgardner, Waldemar W. Koczkodaj , Witold Lipski , Joseph Oldham, Inna Pivkina, Michał Sobolewski [1] , Paweł Traczyk i Zygmunt Vetulani. Osoby te pracowały w różnych instytucjach szkolnictwa wyższego w Kanadzie, Francji, Polsce i Stanach Zjednoczonych.

Matematyka

Badał szereg dziedzin podstaw matematyki , na przykład kombinatorykę nieskończoną ( duże liczebniki kardynalne ), metamatematykę teorii mnogości , hierarchię zbiorów konstruowalnych , modele arytmetyki drugiego rzędu , impredykatywną teorię klas Kelleya-Morse'a . Udowodnił, że tak zwana hipoteza Fraïsségo ( teorie drugiego rzędu liczb porządkowych policzalnych są różne ) jest implikowana przez Gödla aksjomat konstruowalności . Wraz z Marianem Srebrnym badał właściwości luk w konstruowalnym wszechświecie.

Informatyka

Studiował logiczne podstawy informatyki. Na początku lat 70., we współpracy ze Zdzisławem Pawlakiem , badał Pawlakowe systemy przechowywania i wyszukiwania informacji, które wówczas były koncepcją szeroko badaną, zwłaszcza w Europie Wschodniej. Systemy te były w zasadzie jednotabelowymi relacyjnymi bazami danych , ale w przeciwieństwie do relacyjnych baz danych Codda były raczej workami niż zestawami rekordów . Z kolei te badania doprowadziły Pawlaka do koncepcji zbioru przybliżonego , studiowaną przez Marka i Pawlaka w 1981 roku. Pojęcie zbioru przybliżonego w informatyce, statystyce , topologii , algebrze uniwersalnej , kombinatoryce i logice modalnej okazało się ekspresyjnym językiem do opisu, a zwłaszcza manipulowania niekompletnymi informacjami.

Logika

W obszarze logik niemonotonicznych , grupy logik związanych ze sztuczną inteligencją , skupił się na badaniach logiki domyślnej Reitera oraz logiki autoepistemicznej R. Moore'a. Badania te doprowadziły do ​​powstania formy programowania logicznego zwanej programowaniem zestawu odpowiedzi, formalizmem reprezentacji wiedzy obliczeniowej , badanej zarówno w Europie, jak iw Stanach Zjednoczonych. Wspólnie z Mirosławem Truszczyńskim udowodnił, że problem istnienia stabilnych modeli programów logicznych jest NP-zupełny . W silniejszym formalizmie dopuszczającym symbole funkcyjne wraz z Nerode i Remmel wykazał, że analogiczny problem jest Σ
¹ ₁ -zupełny.

Publikacje

VW Marek jest autorem ponad 180 prac naukowych z zakresu podstaw matematyki i informatyki. Był także redaktorem licznych materiałów zjazdów naukowych. Ponadto był autorem lub współautorem kilku książek. Obejmują one:

• Logika i Podstawy Matematyki w obliczeniach (wspólnie z Januszem Onyszkiewiczem )
• Logika i podstawy matematyki w problemach (wspólnie z Januszem Onyszkiewiczem)
• Analiza Kombinatoryczna (wspólnie z W. Lipskim ),
• Logika niemonotoniczna – rozumowanie zależne od kontekstu (wspólnie z M. Truszczyńskim),
• Wprowadzenie do matematyki spełnialności .

Linki zewnętrzne

• Osobista strona dr VW Marka z University of Kentucky
• Dokumenty w Internecie
• Slajdy i inne materiały naukowe