Hi Roger Clough,
I have regrouped my comments because they are related.
On 30 Sep 2012, at 13:34, Roger Clough wrote:
Hi Stephen P. King
With his relativity principle, Einstein showed us that
there is no such thing as space, because all distances
are relational, relative, not absolute.
With comp there is clear sense in which there is not space, are there
is only numbers (or lambda terms) and that they obey only two simple
laws: addition and multiplication (resp. application and abstraction).
Note that with Einstein, there is still an absolute space-time.
The Michelson朚orley experiment also proved that
there is no ether, there is absolutely nothing
there in what we call space.
I agree, but there are little loopholes, perhaps. A friend of mine
made his PhD on a plausible intepretation of Poincaré relativity
theory, and points on the fact that such a theory can explain some of
the "non covariance" of the Bohmian quantum mechanics (which is a many-
world theory + particles having a necessary unknown initial conditions
so that an added potential will guide the particle in "one" universe
among those described by the universal quantum wave.
I don't take this seriously, though.
Photons simply
jump across space, their so-called waves are
simply mathematical constructions.
In that case you will have to explain me how mathematical construction
can go through two slits and interfere.
Leibniz similarly said, in his own way, that
neither space nor time are substances.
They do not exist. They do exist, however,
when they join to become (extended) substances
appearing as spacetime.
OK. (and comp plausible).
other post:
Hi Stephen P. King
Leibniz would not go along with epiphenomena because
the matter that materialists base their beliefs in
is not real, so it can't emanate consciousness.
Comp "true" .
Leibniz did not believe in matter in the same way that
atheists today do not believe in God.
Comp "true" .
And with good reason. Leibniz contended that not only matter,
but spacetime itself (or any extended substance) could not
real because extended substances are infinitely divisible.
Space time itself is not "real" for a deeper reason.
Why would the physical not be infinitely divisible and extensible,
especially if "not real"?
Personally. I substitute Heisenberg's uncertainty principle
as the basis for this view because the fundamental particles
are supposedly divisible.
By definition an atom is not divisible, and the "atoms" today are the
elementary particles. Not sure you can divide an electron or a Higgs
boson.
With comp particles might get the sme explanation as the physicist, as
fixed points for some transformation in a universal group or universal
symmetrical system.
The simple groups, the exceptional groups, the Monster group can play
some role there (I speculate).
Or one might substitute
Einstein's principle of the relativity of spacetime.
The uncertainties left with us by Heisenberg on
the small scale and Einstein on the large scale
ought to cause materialists to base their beliefs on
something less elusive than matter.
I can't agree more. Matter is plausibly the last ether of physics.
Provably so if comp is true, and if there is no flaw in UDA.
OTHER POST
Hi Bruno Marchal
I'm still trying to figure out how numbers and ideas fit
into Leibniz's metaphysics. Little is written about this issue,
so I have to rely on what Leibniz says otherwise about monads.
OK. I will interpret your monad by "intensional number".
let me be explicit on this. I fixe once and for all a universal
system: I chose the programming language LISP. Actually, a subset of
it: the programs LISP computing only (partial) functions from N to N,
with some list representation of the numbers like (0), (S 0), (S S
0), ...
I enumerate in lexicographic way all the programs LISP. P_1, P_2,
P_3, ...
The ith partial computable functions phi_i is the one computed by P_i.
I can place on N a new operation, written #, with a # b = phi_a(b),
that is the result of the application of the ath program LISP, P_a, in
the enumeration of all the program LISP above, on b.
Then I define a number as being intensional when it occurs at the left
of an expression like a # b.
The choice of a universal system transforms each number into a
(partial) function from N to N.
A number u is universal if phi_u(a, b) = phi_a(b). u interprets or
understands the program a and apply it to on b to give the result
phi_a(b). a is the program, b is the data, and u is the computer. (a,
b) here abbreviates some number coding the couple (a, b), to stay
withe function having one argument (so u is a P_i, there is a
universal program P_u).
Universal is an intensional notion, it concerns the number playing the
role of a name for the function. The left number in the (partial)
operation #.
Previously I noted that numbers could not be monads because
monads constantly change.
They "change" relatively to universal numbers.
The universal numbers in arithmetic constitutes a sort of INDRA NET,
as all universal numbers reflects (can emulate, and does emulate, in
the UD) all other universal numbers.
Universal numbers introduce many relative dynamics in arithmetic.
Given that "time is not real", this should not annoy you in any way.
Another argument against numbers
being monads is that all monads must be attached to corporeal
bodies.
Ah?
So monads refer to objects in the (already) created world,
whose identities persist, while ideas and numbers are not
created objects.
Hmm... They "emanate" from arithmetical truth, so OK.
The problem is in the "(already)" created world.
The existence of a "real physical world" is a badly express problem.
All we can ask is that vast category of sharable dreams admits some
(unique?) maximal consistent extension satisfying ... who? All
universal numbers?
I don't know. I mean, I cannot make sense of an "already created
world", nor of objects in there.
So my attempt to intepret monads by universal number fails, but in
your definition here you are using concept which I attempt to explain,
and so I cannot use them.
But I refute your argument that numbers cannot change, as they do
change all the time through their arithmetical relations with the
universal numbers.
While numbers and ideas cannot be monads, they have to
be are entities in the mind, feelings, and bodily aspects
of monads.
Numbers get the two role, at least from the pov of the universal
numbers. That's the beauty of it.
For Leibniz refers to the "intellect" of human
monads.
I refer to the "intellect" (terrestrial and divine) of the universal
numbers, among mainly the Löbian one (as the other are a bit too much
mute on the interesting question).
And similarly, numbers and ideas must be used
in the "fictional" construction of matter-- in the bodily
aspect of material monads, as well as the construction
of our bodies and brains.
OK. But even truer at another level made possible by comp. As I try to
illustrate. Arithmetic is full of life and dreams.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
