This is our monthly thread for collecting these little gems and pearls of wisdom, rationality-related quotes you've seen recently, or had stored in your quotesfile for ages, and which might be handy to link to in one of our discussions.
- Please post all quotes separately, so that they can be voted up/down separately. (If they are strongly related, reply to your own comments. If strongly ordered, then go ahead and post them together.)
- Do not quote yourself.
- Do not quote comments/posts on LW/OB.
- No more than 5 quotes per person per monthly thread, please.
If by "uncountable", you mean of cardinality greater than aleph-nought, then I think that you are using the wrong mathematical machinery. It is measure theory that we are concerned with here, not cardinality.
Ah! But perhaps you are suggesting that I can only formulate a countable number of sentences in my logic and hence that I should be using some kind of Solomonoff prior which necessarily forces a finite prior for the God Hypothesis - assuming that I can express it. Is that what you are getting at? If so, I'm not sure exactly how the hypothesis that some kind of god exists can be expressed properly in any axiomatizable logic.
The two are related. Most relevantly, if my set is countable then I must have some singletons with non-zero measure. Moreover, the subset of points who have zero measure itself has zero measure, so they don't matter at all. It is only in higher cardinality sets that you can have a collection of points each with zero measure that still have positive measure.