4 ms·

Okay. What if there's a lot of proofs, but the shortest of those is still not within reach of human intellect?

• bhaak 11y ago
  So far, we don't know if there are any proofs that are beyond the human intellect. I don't think that we currently believe such a thing to exist theoretically. Every provable conjecture should be understandable in principle by a generic human mind. Now, there for certain systems that are so complex that proofs within those systems are beyond us. Not because we couldn't understand them but because learning and applying all the rules of that system takes longer than a human mind is able to live (currently). But that's just a practical limitation, not a theoretical one.
  • guard-of-terra 11y ago
    I'm talking about practical limitations. It turns out human exploration becomes impractical :(
    • bhaak 11y ago
      Practical limitations can be overcome. At first it was artificial light sources, then glasses, then machines speeding up calculation and now machines that do calculations themselves. There is certainly a practical limit of what a human mind can grasp but that limit is far away and with tools, it is even much farther. We won't run out on difficult problems to solve anytime soon.