timtyler comments on 0 And 1 Are Not Probabilities - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (128)
As Perplexed points out this is usually known as Cromwell's_rule.
Thanks for the link. It sounds like Yudkowsky is arguing something quite close to Cromwell's Rule, with a slight technical difference. From the Wikipedia article:
Yudkowsky would argue that formal logic is not part of the territory, but rather part of our map (perhaps surveying equipment would be a good analogy, since the compass analogy is already taken by "moral compass"). As such, not even formal mathematical logic should be presumed to have 100% certainty.
Of course, this raises the problem of constantly having to include the term p(math is fundamentally flawed) everywhere. instead of just writing p(heads) when calculating the odds of a coin flip or flips, now we'd have to use p(heads | ~math is fundamentally flawed). As a matter of sheer convenience, it would be easier to just add it to the list of axioms supporting the fundamental theorems that the rest of mathematics is built on.
But that’s just semantics, I suppose. Wikipedia has a couple more interesting tidbits, that I’ve fished out for future readers: