Leszek Aleksander Kołodziejczyk (ur. 24 października 1978) – polski logik i matematyk, doktor habilitowany nauk matematycznych, profesor uczelni w Instytucie Matematyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego. Specjalizuje się w logice matematycznej, zwłaszcza w teorii modeli i teorii dowodu teorii arytmetyki. Laureat nagrody E.W. Beth Dissertation Prize (2006), kierownik trzech projektów badawczych Narodowego Centrum Nauki.
Życiorys Studia matematyczne ukończył na Uniwersytecie Warszawskim w 2004. Stopień doktora filozofii uzyskał na Wydziale Filozofii i Socjologii UW w 2005 na podstawie pracy Truth Definitions and Higher Order Logics in Finite Models, napisanej pod kierunkiem Marcina Mostowskiego. Stopień doktora habilitowanego nauk matematycznych uzyskał w 2014 na Wydziale Matematyki, Informatyki i Mechaniki UW, na podstawie rozprawy Model-theoretic proofs of unprovability theorems in bounded arithmetic.
Na Wydziale Matematyki, Informatyki i Mechaniki UW pracował jako adiunkt, a następnie jako profesor uczelni w Instytucie Matematyki. Pełni funkcję wicedyrektora Instytutu Matematyki do spraw naukowych.
Działalność naukowa Jego badania dotyczą teorii modeli i teorii dowodu teorii arytmetyki, w tym oraz podsystemów . Zajmuje się także modelami arytmetyki Peana, mierzeniem siły logicznej twierdzeń matematycznych w ramach , oraz związkami logiki z teorią obliczeń. Publikował m.in. w czasopismach „”, „”, „Transactions of the American Mathematical Society”, „Fundamenta Mathematicae” i „”. We wczesnym okresie pracy naukowej zajmował się definicjami prawdy i logikami wyższego rzędu w modelach skończonych. W 1998 opublikował w „Filozofii Nauki” artykuł poświęcony ontologicznemu dowodowi na istnienie Boga.
Kierował trzema projektami badawczymi Narodowego Centrum Nauki w ramach konkursów OPUS: + Projekty badawcze kierowane przez Leszka Kołodziejczyka Konkurs Numer projektu Tytuł Lata OPUS 5 2013/09/B/ST1/04390 Induction for bounded formulas and its relativizations 2014–2017 OPUS 14 2017/27/B/ST1/01951 Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy 2018–2023 OPUS 25 2023/49/B/ST1/02627 Between proof theory, reverse mathematics, and the model theory of arithmetic 2024–2028
Prowadzi opiekę promotorską w szkole doktorskiej Uniwersytetu Warszawskiego. Pod jego kierunkiem stopień doktora nauk matematycznych uzyskała w 2025 Katarzyna W. Kowalik, autorka rozprawy Siła logiczna zasad ramseyowskich nad słabą teorią bazową. Był członkiem komitetu organizacyjnego Logic Colloquium 2021, europejskiego zjazdu letniego Association for Symbolic Logic w Poznaniu, a wspólnie z Mateuszem Łełykiem i Konradem Zdanowskim współorganizuje wydziałowe seminarium z logiki matematycznej.
Wyróżnienia 2006 – E.W. Beth Dissertation Prize, przyznawana przez Stowarzyszenie na rzecz Logiki, Języka i Informacji (FoLLI), za rozprawę doktorską Truth Definitions and Higher Order Logics in Finite Models.
Wybrane publikacje
Przypisy
Kategoria:Polscy matematycy XXI wieku Kategoria:Nauczyciele akademiccy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Urodzeni w 1978 Kategoria:Absolwenci Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Polscy logicy XXI wieku