Projekty finansowane przez NCN
Metateoretyczne i międzyteoretyczne redukcje w podstawach matematyki
2024/53/B/HS1/02173
Słowa kluczowe:
Podstawy matematyki epistemologia matematyki teorie prawdy fundamentalne równoważności redukcja teorio-dowodowa efektywna redukcja definiowalność interpretowalność konserwatywność speed-up
Deskryptory:
- HS1_04: Logika, metodologia nauk, filozofia nauki
- HS1_03: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
- ST1_01: Logika i podstawy matematyki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Konkurs: OPUS 27 - ogłoszony 2024-03-21
Przyznana kwota: 1 037 244 PLN
Rozpoczęcie projektu: 2025-09-01
Zakończenie projektu: 2029-08-31
Planowany czas trwania projektu: 48 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.