Computational complexity and proof systems constitute a cornerstone of theoretical computer science, addressing both the inherent difficulty of algorithmic problems and the efficiency of formal ...
An erudite, intense discussion is taking place in the comments, over at the Computational Complexity blog. At issue: Is complexity theory (a discipline which studies “the power and limitations of ...