3 ms·

I can't wait for the day when a proof is 'discovered' that no one can comprehend.

• krallja 9y ago
  A 200TB proof is already incomprehensible to humans. The average reading speed is 200wpm. The average human lifespan is 79 years, or about 41.5 million minutes. If you did nothing but read at 200wpm for your entire life, you might read 8.30 billion words. A word is 5.1 letters, on average, and in ASCII, a letter is one byte. Multiply that all together to get an estimated human reading speed of 42.4 GB/lifetime. It would take 4728 entire human lifetimes to read this proof once. This is vastly underestimating the actual number, due to silly things like "eating", "sleeping", "learning to read", etc.
  • coldtea 9y ago
    >A 200TB proof is already incomprehensible to humans. Not really, since what matters is the compressibility of the proof, not its size. We might not be able to read all individual clauses, but it's enough that we know how the clauses are constructed.