Leszek Kołodziejczyk
Państwo działania | |
---|---|
Data urodzenia | |
doktor habilitowany nauk matematycznych | |
Specjalność: logika matematyczna | |
Alma Mater | |
Doktorat |
2005 – filozofia |
Habilitacja |
2014 – matematyka |
adiunkt | |
Uczelnia |
Uniwersytet Warszawski |
Leszek Aleksander Kołodziejczyk (24 października 1978) – polski logik i matematyk, doktor habilitowany nauk matematycznych. Specjalizuje się w logice matematycznej. Adiunkt w Instytucie Matematyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego (Zakład Logiki Matematycznej)[1][2][3][4].
Życie i twórczość
[edytuj | edytuj kod]Studia matematyczne ukończył na Uniwersytecie Warszawskim (2004). Stopień doktorski z filozofii uzyskał na Wydziale Filozofii i Socjologii UW w 2005 na podstawie pracy pt. Truth Definitions and Higher Order Logics in Finite Models, przygotowanej pod kierunkiem prof. Marcina Mostowskiego[1]. Habilitował się już na Wydziale Matematyki, Informatyki i Mechaniki UW w zakresie matematyki w 2014 na podstawie oceny dorobku naukowego i rozprawy pt. Model-theoretic proofs of unprovability theorems in bounded arithmetic[1][5].
Swoje prace publikował w takich czasopismach jak m.in. „Annals of Pure and Applied Logic”, „Journal of Symbolic Logic”, „Transactions of the Amaerican Mathematical Society”, „Fundamenta Mathematicae”, „Mathematical Logic Quarterly” oraz „Archive for Mathematical Logic”[6][7][8][9][10][11][12][13].
Przypisy
[edytuj | edytuj kod]- ↑ a b c Dr hab. Leszek Aleksander Kołodziejczyk, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-09] .
- ↑ dr hab. Leszek Kołodziejczyk. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ dr hab. Leszek Kołodziejczyk. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Home Page of Leszek Aleksander Kołodziejczyk. mimuw.edu.pl. [dostęp 2016-08-05]. (ang.).
- ↑ Postępowanie awansowe - Leszek Kołodziejczyk. Centralna Komisja do Spraw Stopni i Tytułów. [dostęp 2016-08-09].
- ↑ Leszek Kołodziejczyk (publikacje). mimuw.edu.pl. [dostęp 2016-07-29].
- ↑ Leszek Kołodziejczyk (publikacje i cytowania). scholar.google.pl. [dostęp 2016-07-26].
- ↑ dr hab. Leszek Aleksander Kołodziejczyk (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-26].
- ↑ Kołodziejczyk, Leszek Aleksander. Katalog Biblioteki Narodowej. [dostęp 2016-08-04].
- ↑ Leszek Aleksander Kolodziejczyk (publikacje). dblp.uni-trier.de. [dostęp 2016-08-09]. (ang.).
- ↑ Leszek Kołodziejczyk (publikacje). arxiv.org. [dostęp 2016-08-09]. (ang.).
- ↑ Leszek Aleksander Kolodziejczyk (publikacje i cytowania). semanticscholar.org. [dostęp 2016-08-09]. (ang.).
- ↑ Artykuły popularnonaukowe w miesięczniku „Delta”