Grant Narodowego Centrum Nauki w konkursie MINIARURA 9 dla dr Marcina Czakona

Kwota dofinansowania: 12 100 zł.

Głównym celem projektu pt. „Wstępne badania i optymalizacja algorytmu dla superkomputera (HPC) poszukującego matrycy niezależności potencjalnych aksjomatów rachunku E oraz C Syntetyczny opis działania naukowego planowanego do realizacji” jest przygotowanie algorytmu, który znajdzie rozwiązanie wciąż otwartych pytań w obrębie dwóch rachunków logicznych: rachunku E oraz rachunku C. Pytania te dotyczą złożoności dowodowej twierdzeń, potencjalnych najkrótszych aksjomatów oraz dopuszczalnych reguł procedury dowodowej.

Serdecznie gratulujemy!