7 projects found matching your search criteria :
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
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
Call: SONATINA 2 , Panel: HS1
Principal investigator: Paweł Pawłowski
Uniwersytet Gdański, Wydział Nauk Społecznych
The problem of explanation in mathematics
Call: OPUS 11 , Panel: HS1
Principal investigator: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
Mechanisms of geometric cognition
Call: OPUS 10 , Panel: HS1
Principal investigator: dr Mateusz Leszek Hohol
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
The empirical sources of mathematical knowledge
Call: OPUS 1 , Panel: HS1
Principal investigator: prof. Krzysztof Piotr Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii i Socjologii