Proof Complexity
Jan Krajícek
Czech Academy of Sciences, Prague, Czech Republic
![Proof Complexity cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fbooks%2Fcover-3.png&w=3840&q=90)
Download Chapter PDF
A subscription is required to access this book chapter.
Abstract
This note, based on my 4ECM lecture, exposes few basic points of proof complexity in a way accessible to any mathematician.