On 01 Mar 2014, at 08:39, Chris de Morsella wrote:
From: [email protected] [mailto:[email protected]
] On Behalf Of LizR
Nevertheless, it does seem to be. That is, 17 is a prime number
regardless of whether anyone knows it is, or even knows what numbers
are, or indeed whether anyone is even alive (e.g. it was prime in
the first instants of the big bang - maths has been used to work out
what happened in the early universe, with observable consequences
now). There's a lot of hand waving going on to deny this, but I
haven't seen a knock down argument (or even a suggestion of one) to
indicate otherwise.
Couldn't one argue that 17 (and all primes) are artifacts of the
ontology of math; that they necessarily arise from and within it.
Does the seeming fact that we cannot have math without primes;
therefore imply that math - for lack of better words - "just is"?
That is quite a leap - IMO.
Sigma_1 arithmetic just *is*. That is a very tiny part of math, and it
cannot be derived logically from anything less rich. Then you can
derive everything in math and physics from it. Including physics
makes comp testable.
Bruno
Chris
On 1 March 2014 18:16, Chris de Morsella <[email protected]>
wrote:
"If it's all math, then where does math come from?"
>>Strange to say, elementary maths just appears to be a fact. That
is, it is a fact that 1+1=2.
Somehow I do not find that satisfying; in what way and by what
evidence does this occur?
Especially - as I had posited if math is the fundamental thing -
even more fundamental than the emergent material universe. I could
see this logic in a pre-existing universe replete with 10 to a very
large number of atoms, but if math is to be the superstructure
underlying everything then I - speaking for myself - am not
satisfied by saying it just is a fact.
Chris
--
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.
--
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.
--
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.
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.
