On 8/22/2014 2:49 AM, Bruno Marchal wrote:
On 21 Aug 2014, at 18:33, meekerdb wrote:
On 8/21/2014 12:49 AM, Bruno Marchal wrote:
They could be the ur-stuff of a TOE. Bruno says they're not stuff - but then I don't
think "stuff" is any better defined that "primitive physical".
Primitive means "assumed necessarily in the TOE. With comp we don't assume particles,
or space, or time, usually assumed in physical theories.
I know what "primitive" means. The point of the question was what does "physical"
mean. I think it just means stuff we agree on the 3p sense - the dominant invariant
measure across 1p experience. But by that definition numbers and arithmetic are
"physical".
The physical is concerned with the empirically observable.
But "empirically observable" assumes a sharable world. My question is what, within your
theory, does "empirical" and "observation" mean? When one makes an "empirical
observation" does one then have knowledge?
Brent
"primitive physical" means that we assume primitive observable on object that we can
detect empirically, like particles, forces, waves, space, time, temperature, etc.
Theories about numbers do not assume any physical objects. They might assume 0, and its
successor, but you don't need a laboratory, nor any *observation* to believe in them, a
priori.
Of course, you can extend the sense of physical, so that it includes arithmetical, but
that would makes more confusing the comp necessity to derive physics from arithmetic,
that is, derive the observable from what we can justify from any Turing complete theory
(with comp in the background).
Bruno
Brent
--
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.
http://iridia.ulb.ac.be/~marchal/ <http://iridia.ulb.ac.be/%7Emarchal/>
--
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.
