Originally
posted by
qzjul:
Does it need to be written out? I can understand 10^100 as a number, I don't need to write it out... in fact, writing it out would make it pointlessly unclear, as you'd have to count the zeroes heh; that can be extended to numbers like the above.
Kindof like PI
Why don't we write out PI "in full (say to i dunno 1 billion digits) every time we use it in a mth text book? because we have a BETTER representation of it (the pi symbol) that is not only more accurate, but more understandable, and less wasteful /pointless
For the axiom of infinity to be valid, I would say that it does.
Without writing out a numerical representation of the number absent from symbols or other abbreviations, determining the order of various extremely large numbers might be impossible. But if the natural numbers are an ordered set, and every natural number has a successor, then we must be able to identify successors to all numbers, and to take any set of numbers and place it in order.
We have easy algorithms for taking natural numbers and either identifying a successor, or putting them in order, but this algorithm is dependent upon using the numerical representation of that number.
If I took two strings of 1000 4 digit numbers, and in each case, formed the nested string where if (a,b,c,d ... ) was the string, and for each formed the natural number represented by a^(b^(c^(d^( ... etc., and asked you to identify which number was smaller, would that task be possible?
If it is not possible, that would mean that we've identified a set of two natural numbers for which the Well Ordering Principle is not demonstrable.
In the opinion of some mathematicians, the Well Ordering Principle would still hold, it would just be undemonstrable. In the opinion of an intuitionist, the inability to demonstrate which of the two numbers is smaller means that the Well Ordering Principle did not hold, because it is impossible to identify the smallest element of the set.