"so if you ask a computer to choose a real number among an infinite amount, it can't do that, right"<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com
ffice
ffice" /><o
></o
>
<o
></o
>
You could construct an argument either way. It depends how you operationalise the problem, whether or not you're a constructivist with respect to definitions of infinity, what you think is meant by 'choosing among an infinite amount' etc etc. <o
></o
>
<o
></o
>
Consider: <o
></o
>
<o
></o
>
=randbetween(1,2)<o
></o
>
<o
></o
>
...the result is either one or two, both of which are clearly numbers in the set of real numbers. The set of real numbers is a countably infinite set. Excel can implement the formula. Excel is implemented in a computer. q.e.d. a computer can select a number that is in the infinte set of real numbers. If you think this is the same as "choose among an infinite amount', then the answer to the question is clearly yes. If you don't then you're going to have to work out which definitions you want to explore further. <o
></o
>
<o
></o
>
For example, what you clearly can't do is:<o
></o
>
<o
></o
>
=randbetween(1,∞ )<o
></o
>
<o
></o
>
...because infinity is not a number, it is (in the context of what computers can implement) a property of sets (and even if it were a number, the finite limits of a computer's memory will never permit it to be represented). <o
></o
>
<o
></o
>
FWIW, this "limitation" is not restricted to 'computers', given that you can't implement randbetween(1, ∞) either: when you "choose among an infinite amount", you do not, for example, first construct the infinite set of all reals, then pick one.
Given the above, perhaps a more revealing question would be "What definition of 'infinity' would be required, such that randbetween(1,∞) could be implemented in a physical device?"
<o
></o
>
<o
></o
>
<o
></o
>
(By the way, anyone want some fun demonstrating that some infinite sets are bigger than others, have a hunt for "cantor's diagonalisation")<o
></o
>




<o


You could construct an argument either way. It depends how you operationalise the problem, whether or not you're a constructivist with respect to definitions of infinity, what you think is meant by 'choosing among an infinite amount' etc etc. <o


<o


Consider: <o


<o


=randbetween(1,2)<o


<o


...the result is either one or two, both of which are clearly numbers in the set of real numbers. The set of real numbers is a countably infinite set. Excel can implement the formula. Excel is implemented in a computer. q.e.d. a computer can select a number that is in the infinte set of real numbers. If you think this is the same as "choose among an infinite amount', then the answer to the question is clearly yes. If you don't then you're going to have to work out which definitions you want to explore further. <o


<o


For example, what you clearly can't do is:<o


<o


=randbetween(1,∞ )<o


<o


...because infinity is not a number, it is (in the context of what computers can implement) a property of sets (and even if it were a number, the finite limits of a computer's memory will never permit it to be represented). <o


<o


FWIW, this "limitation" is not restricted to 'computers', given that you can't implement randbetween(1, ∞) either: when you "choose among an infinite amount", you do not, for example, first construct the infinite set of all reals, then pick one.
Given the above, perhaps a more revealing question would be "What definition of 'infinity' would be required, such that randbetween(1,∞) could be implemented in a physical device?"
<o


<o


<o


(By the way, anyone want some fun demonstrating that some infinite sets are bigger than others, have a hunt for "cantor's diagonalisation")<o


Last edited: