Institute of Mathematics

Objectives:

We aim to show that increasing logical depth can decrease proof size; to improve logical characterizations of combinatorial proof systems and search problems, and vice versa; to show lower bounds on algebraic proof systems and systems from SAT solving; to develop mathematics over very weak axioms.

 Main investigator:

Thapen Neil Dillip

 IM team members:  

Jeřábek Emil Part Fedor

Pudlák Pavel

 Participating institutions:

Institute of Mathematics of the czech Academy of Sciences

    Mapa   |  Autor   |  Webmaster