Projekty finansowane przez NCN
Miary złożoności strukturalnej dla teorii podstaw matematyki
2024/06/Y/HS1/00198
Słowa kluczowe:
Analiza Scotta teoria struktur obliczalnych podstawy matematyki niestandardowe modele arytmetyki logika infinitarna arytmetyka drugiego rzędu
Deskryptory:
- HS1_04: Logika, metodologia nauk, filozofia nauki
- 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
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu:
Konkurs: WEAVE-UNISONO
Przyznana kwota: 1 646 068 PLN
Rozpoczęcie projektu: 2025-06-02
Zakończenie projektu: 2029-06-01
Planowany czas trwania projektu: 48 miesięcy (z wniosku)
Status projektu: Projekt w realizacji