= 27d567bc2d48d9f40e9ccc20ea370b15)
Anatoly_Vorobey comments on Open thread for December 17-23, 2013 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (301)
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.
Suggested repair of your example: A= "Pi is normal" and B= "Pi includes as a contiguous block the first 2^128 digits of e within the first Ackermann(8) digits" which should do something similar.
Doesn't the fact that A implies B mean that it's very easy to prove B once you've proved A?
You're right, I blundered and this example is no good.