Složitost matematických důkazů a struktur

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 23 (SGA0201900001)

Hlavní účastníci

Matematický ústav AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

19-05497S

Název projektu anglicky

Complexity of mathematical proofs and structures

Anotace anglicky

We study weak logical systems, guided by the question: what is the weakest natural theory in which we can prove a mathematical statement? This question is often fundamentally complexity theoretic in nature, as proofs in such weak systems can be associated with feasible computations. We will study this and related topics in a range of settings, including bounded arithmetic, model theory, algebraic complexity, bounded set theory, and nonclassical logics.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10101 - Pure mathematics

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

BA - Obecná matematika

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt vyústil ve značné množství výsledků v teoretické informatice, specificky v logice a složitosti důkazů (9 konferenčních a 9 časopiseckých publikací); nejvýznamnější výsledky projektu se týkají obtížných problémů souvisejících s dolními odhady ve složitosti důkazů včetně souvisejících metod z matematické logiky.

Zahájení řešení

1. 1. 2019

Ukončení řešení

30. 6. 2022

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

1. 4. 2022

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP23-GA0-GA-U

Datum dodání záznamu

26. 6. 2023

Celkové uznané náklady

9 171 tis. Kč

Výše podpory ze státního rozpočtu

8 514 tis. Kč

Ostatní veřejné zdroje financování

657 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč