Projekty finansowane przez NCN

Czy sumowanie bólu podlega prawom arytmetyki?

Konkurs: OPUS 29 , panel: HS6

Kierownik: dr hab. Wacław Marceli Adamczyk

Akademia Wychowania Fizycznego im. Jerzego Kukuczki w Katowicach

Zasady refleksji i ich epistemiczne uzasadnienie

Konkurs: OPUS 28 (LAP) , panel: HS1

Kierownik: prof. Cezary Wiesław Cieśliński

Uniwersytet Warszawski

Miary złożoności strukturalnej dla teorii podstaw matematyki

Konkurs: WEAVE-UNISONO , panel: HS1

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Zaangażowanie uwagi przestrzennej w umysłowe procesy przetwarzania informacji liczbowych u dzieci w wieku przedszkolnym ...

Konkurs: OPUS 27 , panel: HS6

Kierownik: dr hab. Maciej Władysław Haman

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

Ścisłe metody numeryczne dla równań różniczkowych funkcyjnych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Robert Szczelina

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki

Konkurs: OPUS 25 , panel: ST1

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Arytmetyka i geometria ciał z operatorami

Konkurs: OPUS 22 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Arytmetyka równań różniczkowych

Konkurs: OPUS 20 , panel: ST1

Kierownik: dr hab. Mariia Vlasenko

Instytut Matematyczny Polskiej Akademii Nauk

Arytmetyka rozmaitości Calabiego-Yau

Konkurs: OPUS 20 , panel: ST1

Kierownik: prof. Sławomir Cynk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Niestandardowe modele arytmetyki i formalne teorie prawdy

Konkurs: ETIUDA 5 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Arytmetyka i geometria przestrzeni parametrów dla pewnych konfiguracji prostych

Konkurs: PRELUDIUM 12 , panel: ST1

Kierownik: Magdalena Jadwiga Lampa-Baczyńska

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Indukcja dla formuł ograniczonych i jej relatywizacje

Konkurs: OPUS 5 , panel: ST1

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Arytmetyka wielomianów podziału koła

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr Bartłomiej Bzdęga

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Rozmaitości algebraiczne: arytmetyka i geometria

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Adrian Langer

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teoria ergodyczna i jej zastosowania w dynamice, arytmetyce i algebrze

Konkurs: SONATA BIS 2 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kognitywne mechanizmy referencji liczebnikowej

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny