> well, among other things that library contains an infinite number of proofs that P=NP. Also an infinite number of proofs of the opposite. Of course, given ou

> well, among other things that library contains an infinite number of proofs that P=NP. Also an infinite number of proofs of the opposite. Of course, given our current understanding of math and logic, although there would be an infinite number of proofs both for and against P=NP, only ones on one side of the argument could ever be correct, and all the others must contain logical errors, however subtle. Assuming that the proof of P=NP isn't somehow outside of human comprehension, it means that, over an infinite period of time, a human could go over all those infinite proofs and still pick out the correct answer.