Nie jesteś zalogowany |
Powrót do listy pracowników
dr hab. Leszek Kołodziejczyk
- Afiliacja
-
profesor uczelni,
Instytut Matematyki
- la.kolodziejcz@uw.edu.pl
- Telefon
- 55-44-518
- Pokój
- 5180
- Strona internetowa
- http://www.mimuw.edu.pl/~lak
- Inne informacje
- Strona pracownika w USOSweb
- Konsultacje
środa 10:30-11:45
Publikacje
Funkcje
- Wicedyrektor Instytutu Instytut Matematyki
Dziedziny badań
Granty
- Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
- Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
- Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
- Indukcja dla formuł ograniczonych i jej relatywizacje
- Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
