On 3/20/2012 12:15 PM, Bruno Marchal wrote:
On 20 Mar 2012, at 03:42, Stephen P. King wrote:
How is the notion ofspace
<http://en.wikipedia.org/wiki/Space#Philosophy_of_space>coded in
numbers? People argue that we can recover a notion of time from the
well order of integers, but what about spaces? How do we get those?
Stephen, here I suspect you are confusing comp with digital physics.
There are no reason that space (nor God, nor souls, ...) can be
encoded in numbers. On the contrary, arithmetic as seen by inside, and
taking the 1-indeterminacy into account ('course) is full of things
which will exists (from the machine's viewpoint) and which are not
encodable with numbers. This comes from standard mathematical logical
results. The 1-I is typical with that respect. defining it by "Bp & p"
leads to a knowledge logic which can be proved to be not
arithmetically definable, nor is truth, nor is sensible matter and
most qualia, nor is consciousness itself, and very plausibly, nor are
physical spaces and times.
The self-referential logics makes possible to "meta-formalize" them,
though, notably by those many typical things that the machine cannot
formalize, yet can know about.
Bruno
http://iridia.ulb.ac.be/~marchal/ <http://iridia.ulb.ac.be/%7Emarchal/>
Dear Bruno,
I try not to confuse the two. What you are describing as COMP, viz
numbers, is equivalent to what Leibniz defines a Monads. Space and time
are "internal", I agree. But this is not problematic. It is the
"measure" that is the problem. You seem to require the existence of a
global measure on the numbers to generate the 1-p and I claim that such
is impossible but there is an alternative that gives us 1-p local
measures (plural).
Onward!
Stephen
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.