IJUC HomeIssue Contents

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

Full Text (IP)