Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

34 projects found matching your search criteria :

  1. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  2. What shapes students' STEM preferences? The role of creativity and gender stereotypes

    Call: OPUS 27 , Panel: HS6

    Principal investigator: dr Aleksandra Barbara Gajda

    Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej

  3. Mathematical justification and entitlement in the foundations of mathematics

    Call: OPUS 27 , Panel: HS1

    Principal investigator: dr Matteo Zicchetti

    Uniwersytet Warszawski

  4. Nonstandard stochastic control problems with applications

    Call: OPUS 27 , Panel: ST1

    Principal investigator: prof. Łukasz Stettner

    Instytut Matematyczny Polskiej Akademii Nauk

  5. Meta-theoretical and inter-theoretical reductions in foundations of mathematics

    Call: OPUS 27 , Panel: HS1

    Principal investigator: Maciej Głowacki

    Uniwersytet Warszawski

  6. Homotopy Theory in Arithmetic Geometry via Condensed Mathematics

    Call: SONATA 19 , Panel: ST1

    Principal investigator: dr Marcin Wojciech Lara

    Instytut Matematyczny Polskiej Akademii Nauk

  7. Higher-order logic and absoluteness phenomena in set theory

    Call: SONATA 19 , Panel: HS1

    Principal investigator: dr Bartosz Wcisło

    Uniwersytet Gdański, Wydział Nauk Społecznych

  8. The Mathematics of the Bose Gas - Dynamics, Correlations and Fluctuations

    Call: SONATA BIS 13 , Panel: ST1

    Principal investigator: dr hab. Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  9. Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Michał Tomasz Godziszewski

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  10. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki PAN

  11. Between proof theory, reverse mathematics, and the model theory of arithmetic

    Call: OPUS 25 , Panel: ST1

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Logical and epistemological criteria of salience in the foundations of mathematics

    Call: SONATA BIS 12 , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

  13. Mathematics of fluids

    Call: OPUS 23 , Panel: ST1

    Principal investigator: prof. Piotr Bogusław Mucha

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey John Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  15. Computational mathematics in quantum mechanics

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. Karolina Kropielnicka

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

  16. Diagnosis of substantive and didactic competences of the teachers taking post-graduate studies qualifying for teaching m...

    Call: PRELUDIUM 16 , Panel: HS6

    Principal investigator: Barbara Beata Barańska

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

  17. Mathematics of Many-Body Quantum Systems

    Call: BEETHOVEN 3 , Panel: ST1

    Principal investigator: dr Marcin Marek Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  18. Model-theoretic methods in logic and the foundations of mathematics and science

    Call: OPUS 15 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  19. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

    Call: SONATINA 2 , Panel: HS1

    Principal investigator: Paweł Pawłowski

    Uniwersytet Gdański, Wydział Nauk Społecznych

  21. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

    Call: OPUS 14 , Panel: ST1

    Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Studies and scientific research of Polish mathematicians, physicists and astronomers at the University of Goettingen (18...

    Call: OPUS 13 , Panel: HS3

    Principal investigator: dr Danuta Ciesielska

    Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów PAN

  23. Methods of stochastic control with applications

    Call: OPUS 12 , Panel: ST1

    Principal investigator: prof. Łukasz Stettner

    Instytut Matematyczny Polskiej Akademii Nauk

  24. The problem of explanation in mathematics

    Call: OPUS 11 , Panel: HS1

    Principal investigator: prof. Krzysztof Piotr Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  25. Mathematical riddles as a pastime for the Renaissance elite in Florence. Edition and linguistic study of the Giuochi mat...

    Call: OPUS 11 , Panel: HS2

    Principal investigator: dr hab. Roman Sosnowski

    Uniwersytet Jagielloński, Wydział Filologiczny

  26. Mechanisms of geometric cognition

    Call: OPUS 10 , Panel: HS1

    Principal investigator: dr Mateusz Leszek Hohol

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  27. Math Anxiety and Early Childhood Education Children's Math Achievements Level - A Longitudinal Study

    Call: PRELUDIUM 10 , Panel: HS6

    Principal investigator: dr Monika Klaudia Szczygieł

    Uniwersytet Jagielloński, Wydział Filozoficzny

  28. Computational algorithms for persistent homology of maps

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Grzegorz Michał Jabłoński

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  29. Collaboration between the mathematical faculty of Paul Sabatier University in Toulouse with the Faculty of Mathematics a...

    Call: HARMONIA 4 , Panel: ST1

    Principal investigator: prof. Włodzimierz Robert Zwonek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  30. Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

    Call: OPUS 4 , Panel: HS1

    Principal investigator: dr hab. Ryszard Romuald Mirek

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

  31. Stochastic control problems with applications to mathematics of finance

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Łukasz Stettner

    Instytut Matematyczny Polskiej Akademii Nauk

  32. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

  33. The empirical sources of mathematical knowledge

    Call: OPUS 1 , Panel: HS1

    Principal investigator: prof. Krzysztof Piotr Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  34. Mathematics of quantum fields and quantization

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Jan Dereziński

    Uniwersytet Warszawski, Wydział Fizyki