= 27d567bc2d48d9f40e9ccc20ea370b15)
Sewing-Machine comments on How to Convince Me That 2 + 2 = 3 - 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 (381)
I know very well the difference between a collection of axioms and a collection of models of which those axioms are true, thank you.
A lot of people seem to have trouble imagining what it means to consider the hypothesis that SS0+SS0 = SSS0 is true in all models of arithmetic, for purposes of deriving predictions which distinguish it from what we should see given the alternative hypothesis that SS0+SS0=SSSS0 is true in all models of arithmetic, thereby allowing internal or external experience to advise you on which of these alternative hypotheses is true.
Reading your essay I wondered whether it would have been more effective if you had chosen bigger numbers than 2, 2, and 3. e.g. "How to convince me that 67+41 = 112."
That would have been a damn nuisance, because throughout the rest of this comment thread we'd have been writing unhelpfully long strings of Ss. ;)
I was proud of this comment and I comfort myself with your explanation for why it got the response it did.