Comment on Open thread for December 17-23, 2013

Wed, 18 Dec 2013 21:42:49 GMT

Let A = "pi is normal", and B = "pi includes in it as a contiguous block the first 2^128 digits of e". B is more likely to be provable in ZFC, simply because A requires B but not vice versa. A is vastly more likely to be proven by 2050. Is this a valid example, or do you see it as cheating in some way?

I'm not sure if this question is meaningful/interesting. It may be, but I'm not seeing it.

Discuss