CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project explores fundamental problems in complexity theory using logic and proof complexity. It aims to develop a unified system of conjectures related to feasible incompleteness and pseudorandomness to better understand the challenges in this field.
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…
MATEMATICKY USTAV AV CR V.V.I.
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 topics.
