If you believe that spacetime is discrete at the Planck scale, then there are only finitely many options for how far your neighbor’s house can be from yours. I tend to think that finite-support probability distributions are sufficient for this task… even if spacetime is continuous, we can get a good-enough approximation by assuming it is discrete at the Planck scale.
(Is there some context I’m missing here? I don’t know if I’m supposed to recognize your example.)
I am trying to ask about the limits of the apporach by formulating something like the most reasonable case where capturing the innumerable aspects of the topic is actually on point. One could think that 3, 3.1, π and golden ratio would be perfectly legit options and questions of the form “Do you prefer your neighbour to be A far away or B far away?” would need to be answerable for all valid options and one option for conceiving it is for A and B to be arbitrary reals. With the “good-enough approximation” we don’t talk about being π distance away because we don’t believe in truly trancendental distances. There is one distance a little beyond that and one little short of that and claims need to be about those.
Well, technically you can still restrict to finite-support probability distributions even if your outcome space is infinite. So even if you allow all real numbers as distances (and have utilities for each), you can restrict your set of beliefs to have finite support at any given time (i.e. at one point in time you might believe the distance to be one of {3,3.1,pi} or any other finite set of reals, and you may pick any distribution over that finite set). This setup still avoids Paul’s paradoxes.
Having said that, I have trouble seeing why you’d need to do this for the specific case of distances. Computers already use float-point arithmetic (of finite precision) to estimate real numbers, and not much goes wrong there. So computers are already restricting the set of possible distances to a finite set.
Any gradualation is likely to not hit the exact distance on the spot. Then If I was faced to be in a situation where I could become sensitive to that distinction I would need to go from not having included it in the support to having inluded it in the support ie from zero probablity to non-zero probablity. This seems like a smell that things are not genuine comparable to the safety of avoiding unbounded utilities, so i am not sure whether it is an improvement.
Even computers can do symbolic manipulation where they can get exact results. They are not forced to numerically simulate everything. Determining the intersection of two lines can be done exactly in finite computation despite doing it by “brute force” point-for-point whether they are in the same location would call for more than numerable steps.
I have intuitiion/introspective impression that there are objects like “distance is {3,3.1, between 3.2 and 3.3}” where the three categories are equiprobable and distances within “3.2 to 3.3″ are equiprobable to each other but that “3.2 to 3.3” is not made up of listable separate beliefs. (More realisticially they tend to not feel exactly equiprobable within the whole range).
Does this approach mean that questions like “How far I prefer my neighbours house to be from mine?” are still answereable?
If you believe that spacetime is discrete at the Planck scale, then there are only finitely many options for how far your neighbor’s house can be from yours. I tend to think that finite-support probability distributions are sufficient for this task… even if spacetime is continuous, we can get a good-enough approximation by assuming it is discrete at the Planck scale.
(Is there some context I’m missing here? I don’t know if I’m supposed to recognize your example.)
I am trying to ask about the limits of the apporach by formulating something like the most reasonable case where capturing the innumerable aspects of the topic is actually on point. One could think that 3, 3.1, π and golden ratio would be perfectly legit options and questions of the form “Do you prefer your neighbour to be A far away or B far away?” would need to be answerable for all valid options and one option for conceiving it is for A and B to be arbitrary reals. With the “good-enough approximation” we don’t talk about being π distance away because we don’t believe in truly trancendental distances. There is one distance a little beyond that and one little short of that and claims need to be about those.
Well, technically you can still restrict to finite-support probability distributions even if your outcome space is infinite. So even if you allow all real numbers as distances (and have utilities for each), you can restrict your set of beliefs to have finite support at any given time (i.e. at one point in time you might believe the distance to be one of {3,3.1,pi} or any other finite set of reals, and you may pick any distribution over that finite set). This setup still avoids Paul’s paradoxes.
Having said that, I have trouble seeing why you’d need to do this for the specific case of distances. Computers already use float-point arithmetic (of finite precision) to estimate real numbers, and not much goes wrong there. So computers are already restricting the set of possible distances to a finite set.
Any gradualation is likely to not hit the exact distance on the spot. Then If I was faced to be in a situation where I could become sensitive to that distinction I would need to go from not having included it in the support to having inluded it in the support ie from zero probablity to non-zero probablity. This seems like a smell that things are not genuine comparable to the safety of avoiding unbounded utilities, so i am not sure whether it is an improvement.
Even computers can do symbolic manipulation where they can get exact results. They are not forced to numerically simulate everything. Determining the intersection of two lines can be done exactly in finite computation despite doing it by “brute force” point-for-point whether they are in the same location would call for more than numerable steps.
I have intuitiion/introspective impression that there are objects like “distance is {3,3.1, between 3.2 and 3.3}” where the three categories are equiprobable and distances within “3.2 to 3.3″ are equiprobable to each other but that “3.2 to 3.3” is not made up of listable separate beliefs. (More realisticially they tend to not feel exactly equiprobable within the whole range).