Projects search

• Keywords: mathematical proof ×

Change search criteria ↓

Search results

6 projects found matching your search criteria:

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

   Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 25, Panel: ST1

2. 2. Mathematical justification and entitlement in the foundations of mathematics

   Principal investigator: dr Matteo Zicchetti

   Uniwersytet Warszawski

   Call: OPUS 27, Panel: HS1

3. 3. The empirical sources of mathematical knowledge

   Principal investigator: prof. Krzysztof Piotr Wójtowicz

   Uniwersytet Warszawski, Wydział Filozofii i Socjologii

   Call: OPUS 1, Panel: HS1

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

   Principal investigator: Maciej Głowacki

   Uniwersytet Warszawski

   Call: OPUS 27, Panel: HS1

5. 5. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

   Principal investigator: dr Karol Pąk

   Uniwersytet w Białymstoku, Instytut Informatyki

   Call: SONATA 10, Panel: ST6

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

   Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 14, Panel: ST1