Projekty finansowane przez NCN
Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
2017/27/B/ST1/01951
Słowa kluczowe:
arytmetyka ograniczona arytmetyka drugiego rzędu niedowodliwość złożoność dowodów matematyka odwrotna hierarchie formuł twierdzenie o rozstrzygalności twierdzenie Ramseya
Deskryptory:
- ST1_1: Logika i podstawy matematyki
Panel:
ST1 - Nauki matematyczne: wszystkie dziedziny matematyki, teoretyczne oraz stosowane a także podstawy matematyczne informatyki, fizyka matematyczna i statystyka matematyczna
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 4
Konkurs: OPUS 14 - ogłoszony 2017-09-15
Przyznana kwota: 418 000 PLN
Rozpoczęcie projektu: 2018-07-01
Zakończenie projektu: 2023-01-18
Planowany czas trwania projektu: 54 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.