Complexity of mathematical proofs and structures
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 23 (SGA0201900001)
Main participants
Matematický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
19-05497S
Alternative language
Project name in Czech
Složitost matematických důkazů a struktur
Annotation in Czech
Budeme studovat logické systémy se zřetelem na otázku, jaká je nejslabší přirozená teorie, v níž lze dokázat dané matematické tvrzení. Tato otázka se často v hloubi týká výpočetní složitosti, neboť důkazy v takovýchto slabých systémech souvisí s efektivními výpočty. Budeme studovat tyto a příbuzná témata v různých kontextech, mj. v omezené aritmetice, teorii modelů, algebraické složitosti, omezené teorii množin a neklasických logikách.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
BA - General mathematics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project has led to a large number of results within theoretical computer science (9 conference and 9 journal papers), particularly in logic and proof complexity; particular highlights of the project include results concerning challenging lower bound problems and related techniques in mathematical logic.
Solution timeline
Realization period - beginning
Jan 1, 2019
Realization period - end
Jun 30, 2022
Project status
U - Finished project
Latest support payment
Apr 1, 2022
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP23-GA0-GA-U
Data delivery date
Jun 26, 2023
Finance
Total approved costs
9,171 thou. CZK
Public financial support
8,514 thou. CZK
Other public sources
657 thou. CZK
Non public and foreign sources
0 thou. CZK