= 27d567bc2d48d9f40e9ccc20ea370b15)
ec429 comments on About addition and truth - 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 (25)
I believe that "2+2=4 is either necessarily true or necessarily false". I believe 2+2=4 is necessarily true (modulo definitions). I don't believe it's necessarily true that "2+2=4 is necessarily true".
There's some pretty strong evidence that the proof that 2+2=4 doesn't have a mistake in it (heckuva lot of eyeballs). I have good reasons (well, reasons anyway) to believe that mathematical truths are necessary. Thus most of my mass is on "2+2=4 is necessarily true". Yet, even if it's necessarily true that "2+2=4 is either necessarily true or necessarily false", and 2+2=4 is true, it still needn't be necessarily true that "2+2=4 is necessarily true", even though 2+2=4 is necessarily true.
If your eyes have glazed over at this point, I'll just say that Provable(X) doesn't imply Provable(Provable(X)), and if you think it does, it's because your ontology of mathematics is wrong and Gödel will eat you.
That's exceptionally unlikely for more reasons than one might think.
Not sure what work "necessarily" is doing, but mostly I'm with you. Still, I think this is mistaken:
Though it is true and important that Unprovable(X) does not imply Provable(Unprovable(X)).