Elements of Logic and Foundations of Mathematics in Problems

Elements of Logic and Foundations of Mathematics in Problems - Wiktor Marek

O autorach:

Victor W. Marek, dawniej Wiktor Marek (ur. 22 marca 1943) – 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.

W roku akademickim 1970/1971 przebywał w Uniwersytecie Utrechtskim, Utrecht, NL, jako post-doctoral researcher w zespole profesora D. van Dalena.

W latach akademickich 1967/1968 i 1972/1973 do 1975/1976 pracował w Instytucie Matematycznym Polskiej Akademii Nauk.

W latach akademickich 1979/1980 i 1982/1983 pracował w Instytucie Wenezuelskim Badań Naukowych.

W roku 1976 został docentem w Instytucie Matematyki Uniwersytetu Warszawskiego.

W roku 1983 został mianowany profesorem zw. Informatyki w Uniwersytecie Stanu Kentucky, Lexington, USA.

W roku akademickim 1989/1990 pracował w Uniwersytecie Cornell, Ithaca, NY jako profesor wizytujący.

W roku 2001/2002 wizytował Uniwersytet Kalifornijski w San Diego, CA.

Janusz Adam Onyszkiewicz (ur. 18 grudnia 1937 we Lwowie) – polski polityk, matematyk, alpinista, himalaista i speleolog, dwukrotny minister obrony narodowej (w latach 1992–1993 i 1997–2000), poseł na Sejm X, I, II i III kadencji, deputowany do Parlamentu Europejskiego VI kadencji, od 2004 do 2007 wiceprzewodniczący PE.

Wykształcenie i praca zawodowa[edytuj | edytuj kod]

W czasie II wojny światowej wraz z rodzicami przeprowadził się do Przemyśla[1][2]. W 1948 zamieszkał w Warszawie.

Absolwent VI Liceum Ogólnokształcące im. Tadeusza Reytana w Warszawie (1955). W 1960 ukończył studia na Wydziale Matematyczno-Fizycznym Uniwersytetu Warszawskiego. W latach 1959–1961 pracował na stanowisku asystenta w Instytucie Maszyn Matematycznych PAN, następnie zatrudniony na UW[3]. W 1967 uzyskał stopień naukowy doktora (jego promotorem był Andrzej Stanisław Mostowski).

W latach 1969–1980 członek Związku Nauczycielstwa Polskiego, od 1969 do 1976 przewodniczący jego Komisji Oddziałowej, delegat do rady zakładowej ZNP na UW[3].

Publikował artykuły naukowe z zakresu teorii mnogości i teorii modeli[4]. W latach 1984–1986 był członkiem uniwersyteckiego Senatu, a przez kolejne cztery lata wchodził w skład rady Międzynarodowej Unii Historii i Filozofii Nauki. Wykładał gościnnie na uniwersytetach, m.in. w Wielkiej Brytanii, Francji, Szwecji i Norwegii. Wyróżniony tytułem doktora honoris causa University of Leeds.