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 epistemologiczne kryteria istotności w podstawach matematyki
Konkurs: SONATA BIS 12 , panel: HS1
Kierownik: dr Mateusz Łełyk
Uniwersytet Warszawski, Wydział Filozofii
-
Prawda: pomiędzy dyskwotacją i kompozycyjnością.
Konkurs: SONATA 15 , panel: HS1
Kierownik: dr Mateusz Łełyk
Uniwersytet Warszawski
-
Epistemiczne i semantyczne zobowiązania fundamentalnych teorii matematycznych
Konkurs: MAESTRO 11 , panel: HS1
Kierownik: dr hab. Cezary Cieśliński
Uniwersytet Warszawski