Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 4 projektów spełniających kryteria wyszukiwania:
-
Formalne teorie prawdy i niestandardowe modele arytmetyki
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
-
Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Michał Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
-
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Niestandardowe modele arytmetyki i formalne teorie prawdy
Konkurs: ETIUDA 5 , panel: HS1
Kierownik: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii