Wyszukiwarka projektów

• Słowa kluczowe: mathematical proof ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 6 projektów spełniających kryteria wyszukiwania:

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

   Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 25, panel: ST1

2. 2. Matematyczne uzasadnienie i uprawnienie w podstawach matematyki

   Kierownik: dr Matteo Zicchetti

   Uniwersytet Warszawski

   Konkurs: OPUS 27, panel: HS1

3. 3. Empiryczne źródła wiedzy matematycznej

   Kierownik: prof. Krzysztof Piotr Wójtowicz

   Uniwersytet Warszawski, Wydział Filozofii i Socjologii

   Konkurs: OPUS 1, panel: HS1

4. 4. Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki

   Kierownik: Maciej Głowacki

   Uniwersytet Warszawski

   Konkurs: OPUS 27, panel: HS1

5. 5. Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML

   Kierownik: dr Karol Pąk

   Uniwersytet w Białymstoku, Instytut Informatyki

   Konkurs: SONATA 10, panel: ST6

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

   Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 14, panel: ST1