On 17 Dec 2013, at 07:01, meekerdb wrote:

On 12/16/2013 9:49 PM, Jason Resch wrote:



On Mon, Dec 16, 2013 at 11:45 PM, meekerdb <[email protected]> wrote:
On 12/16/2013 8:52 PM, LizR wrote:
On 17 December 2013 16:22, Stephen Paul King <[email protected] > wrote:
Dear LizR,

That is exactly the point that I wanted to make: 'There couldn't be an observer in such a universe, it's far too simple." There could not be one wherefore "he could deduce the existence of 17 theoretically, and work out its properties" is impossible: probability zero.

I can't see the significance of this argument. If we take a large enough number, say 10^80, that observers can exist, we can then ask whether such observers could work out the properties of numbers greater than 10^80.

Can we?  Whenever I add 1 to 10^80 I get 10^80 in spite of Peano.

This does not make Peano false. You just work in a context which is not a model of Peano. You could ay group theory is false, because (N, +) is not a group.







Use a programming language such as python or Java which supports big integers. It will let you add 1 to 10^80.

I know. I was just taking 10^80 to mean "a very big number" which of course depends on context. I generally do applied physics and engineering and so 10^80+1 = 10^80 for physical variables.

Natural numbers are not supposed to be physical variable, nor real numbers, nor big number as handled by a small computer, etc.

Bruno



http://iridia.ulb.ac.be/~marchal/



--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to