Abstract

I will introduce a new proof complexity measure - information efficiency - and discuss its relations to various proof complexity topics, including proof search and lengths-of-proofs lower bounds. 

Video Recording