Abstract
In this paper we present an implementation of the computational method in [1] that allows ranking mathematical statements by their complexity. We introduce the complexity classes ICU,iMi¥1, and, accordingly, show that Legendre’s conjecture, Fermat’s last theorem, and Goldbach’s conjecture are in CU,1, Dyson’s conjecture is in CU,2, the Riemann hypothesis is in CU,3, and the four color theorem is in CU,4.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have