Algorithmic Complexity of Mathematical Problems: An Overview of Results and Open Problems
Cristian S. Calude and Elena Calude
This paper reviews current progress and open problems in algorithmically evaluating the complexity of a large class of mathematical problems/ conjectures/statements.
Keywords: Classical and inductive computations, complexity of Π1-statements and Π2-statements