Skip to main content
European Commission logo print header

"Feasibility, logic and randomness in computational complexity"

Ziel

"We will study fundamental problems in complexity theory using means developed in logic, specifically, in the filed of proof complexity. Since these problems seem extremely difficult and little progress has been achieved in solving them, we will prove results that will explain why they are so difficult and in which direction theory should be developed.

Our aim is to develop a system of conjectures based on the concepts of feasible incompleteness and pseudorandomness. Feasible incompleteness refers to conjectures about unprovability of statements concerning low complexity computations and about lengths of proofs of finite consistency statements. Essentially, they say that incompleteness in the finite domain behaves in a similar way as in the infinite. Several conjectures of this kind have been already stated. They have strong consequences concerning separation of complexity classes, but only a few special cases have been proved. We want to develop a unified system which will also include conjectures connecting feasible incompleteness with pseudorandomness. A major part of our work will concern proving special cases and relativized versions of these conjectures in order to provide evidence for their truth. We believe that the essence of the fundamental problems in complexity theory is logical, and thus developing theory in the way described above will eventually lead to their solution."

Aufforderung zur Vorschlagseinreichung

ERC-2013-ADG
Andere Projekte für diesen Aufruf anzeigen

Gastgebende Einrichtung

MATEMATICKY USTAV AV CR V.V.I.
EU-Beitrag
€ 1 259 596,00
Adresse
ZITNA 609/25
115 67 Praha
Tschechien

Auf der Karte ansehen

Region
Česko Praha Hlavní město Praha
Aktivitätstyp
Other
Kontakt Verwaltung
Jiří Rákosník (Dr.)
Hauptforscher
Pavel Pudlák (Prof.)
Links
Gesamtkosten
Keine Daten

Begünstigte (1)