| http://www.w3.org/ns/prov#value | - I mean, you may think that Graham's number [wikipedia.org] is a lot, but he is just peanuts compared to the integers.If a conjecture could be disproven by simply throwing computational resources at the problem, chances are that it is not particularly interesting.
|
