Theoretical Issues
The difficulties here were met by radically different proof techniques, taking much more care about proofs by contradiction. The logic involved is closer to proof theory than to that of computability theory and computable functions. It is rather loosely conjectured that the difficulties may lie in the realm of computational complexity theory. Ineffective results are still being proved in the shape A or B, where we have no way of telling which.
Read more about this topic: Effective Results In Number Theory
Famous quotes containing the words theoretical and/or issues:
“There are theoretical reformers at all times, and all the world over, living on anticipation.”
—Henry David Thoreau (1817–1862)
“Cynicism formulates issues clearly, but only to dismiss them.”
—Mason Cooley (b. 1927)