On 10/25/2015 12:12 AM, Pierz wrote:
It's hard to see how physics can be self-consistent without the a
priori existence of arithmetic.
What do you mean by "physics" and what do you mean by "existence".
Consistency is a relation of propositions and inference rules. To say
physics is consistent can only refer to the theories of physics, not to
the events it attempts to describe. Arithmetic is set of propositions,
so it can be consistent; but it's not clear what is meant by that set
"existing". As Bruno has pointed out "exist" means different things
depending on the context.
Brent
Though admittedly that is a different point to whether or not physics
is "emulated" in arithmetic.
On Saturday, October 24, 2015 at 4:32:47 PM UTC+11, John Clark wrote:
On Mon, Oct 19, 2015 at 7:42 AM, Bruno Marchal <[email protected]
<javascript:>>wrote:
In arithmetic all emulation of programs exists,
That is totally unimportant, It's not worth arguing about
because it wouldn't change anything even if it were true. But I'll
tell you the REALLY important question, is physics a emulation of
arithmetic or is arithmetic a emulation of physics?
>
>>
There is word for "100% accurate simulation", we call
that an emulation. The models of RA emulates all
computations.
...
--
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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
--
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/d/optout.
