Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 9 projektów spełniających kryteria wyszukiwania:
-
Matematyczne uzasadnienie i uprawnienie w podstawach matematyki
Konkurs: OPUS 27 , panel: HS1
Kierownik: dr Matteo Zicchetti
Uniwersytet Warszawski
-
Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki
Konkurs: OPUS 27 , panel: HS1
Kierownik: Maciej Głowacki
Uniwersytet Warszawski
-
Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Michał Tomasz Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
-
Logiczne i epistemologiczne kryteria istotności w podstawach matematyki
Konkurs: SONATA BIS 12 , panel: HS1
Kierownik: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski, Wydział Filozofii
-
Niestandardowe modele arytmetyki i formalne teorie prawdy
Konkurs: ETIUDA 5 , panel: HS1
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
-
Problem wyjaśniania w matematyce
Konkurs: OPUS 11 , panel: HS1
Kierownik: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
-
Formalne teorie prawdy i niestandardowe modele arytmetyki
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
-
Uczenie się semantyki kwantyfikatorów języka naturalnego
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Dariusz Kalociński
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
-
Kognitywne mechanizmy referencji liczebnikowej
Konkurs: OPUS 1 , panel: HS1
Kierownik: dr hab. Wojciech Sławomir Krysztofiak
Uniwersytet Szczeciński, Wydział Humanistyczny