BCTCS 2021

Invited Talk
Complexity Logic

Proof Complexity

Jan Krajíček

on  Tue, 14:00 ! Live for  60min

Proof complexity is an area connecting mathematical logic and computational complexity theory. It has several facets and I shall try to explain what some of these are. In particular, I shall discuss a few ways proof complexity relates to the existence of algorithms of various types.

 Overview  Program