Projekty finansowane przez NCN
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
2023/49/B/ST1/02627
Słowa kluczowe:
arytmetyka pierwszego rzędu arytmetyka drugiego rzędu matematyka odwrotna niedowodliwość konserwatywność modele niestandardowe schemat kolekcji twierdzenie Ramseya przeliczalne liczby porządkowe
Deskryptory:
- ST1_1: Logika i podstawy matematyki
- HS1_4: Logika, metodologia nauk, filozofia nauki
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: 2
Konkurs: OPUS 25 - ogłoszony 2023-03-16
Przyznana kwota: 575 840 PLN
Rozpoczęcie projektu: 2024-06-01
Zakończenie projektu: 2028-06-26
Planowany czas trwania projektu: 48 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
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.