33 projects found matching your search criteria :
Structural complexity measures for foundational theories
Call: WEAVE-UNISONO , Panel: HS1
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
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
Nonstandard stochastic control problems with applications
Call: OPUS 27 , Panel: ST1
Principal investigator: prof. Łukasz Stettner
Instytut Matematyczny Polskiej Akademii Nauk
Meta-theoretical and inter-theoretical reductions in foundations of mathematics
Call: OPUS 27 , Panel: HS1
Principal investigator: Maciej Głowacki
Uniwersytet Warszawski
Homotopy Theory in Arithmetic Geometry via Condensed Mathematics
Call: SONATA 19 , Panel: ST1
Principal investigator: dr Marcin Wojciech Lara
Instytut Matematyczny Polskiej Akademii Nauk
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
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
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
Computable structure theory, and philosophy of mathematical structuralism
Call: OPUS 25 , Panel: HS1
Principal investigator: dr Dariusz Kalociński
Instytut Podstaw Informatyki PAN
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
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
Call: OPUS 23 , Panel: ST1
Principal investigator: prof. Piotr Bogusław Mucha
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Mathematicized Scientific Theories and The Foundations of Applied Mathematics
Call: OPUS 20 , Panel: HS1
Principal investigator: dr Jeffrey John Ketland
Uniwersytet Warszawski, Wydział Filozofii
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
Call: PRELUDIUM 16 , Panel: HS6
Principal investigator: Barbara Beata Barańska
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Mathematics of Many-Body Quantum Systems
Call: BEETHOVEN 3 , Panel: ST1
Principal investigator: dr Marcin Marek Napiórkowski
Uniwersytet Warszawski, Wydział Fizyki
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
Effective computations in predicative mathematics
Call: SONATINA 2 , Panel: ST6
Principal investigator: dr Michał Roman Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATINA 2 , Panel: HS1
Principal investigator: Paweł Pawłowski
Uniwersytet Gdański, Wydział Nauk Społecznych
Call: OPUS 14 , Panel: ST1
Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 13 , Panel: HS3
Principal investigator: dr Danuta Ciesielska
Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów PAN
Methods of stochastic control with applications
Call: OPUS 12 , Panel: ST1
Principal investigator: prof. Łukasz Stettner
Instytut Matematyczny Polskiej Akademii Nauk
The problem of explanation in mathematics
Call: OPUS 11 , Panel: HS1
Principal investigator: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
Call: OPUS 11 , Panel: HS2
Principal investigator: dr hab. Roman Sosnowski
Uniwersytet Jagielloński, Wydział Filologiczny
Mechanisms of geometric cognition
Call: OPUS 10 , Panel: HS1
Principal investigator: dr Mateusz Leszek Hohol
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
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
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
Call: HARMONIA 4 , Panel: ST1
Principal investigator: prof. Włodzimierz Robert Zwonek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
Stochastic control problems with applications to mathematics of finance
Call: OPUS 4 , Panel: ST1
Principal investigator: prof. Łukasz Stettner
Instytut Matematyczny Polskiej Akademii Nauk
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
The empirical sources of mathematical knowledge
Call: OPUS 1 , Panel: HS1
Principal investigator: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Mathematics of quantum fields and quantization
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Jan Dereziński
Uniwersytet Warszawski, Wydział Fizyki