On 28 Dec 2013, at 17:43, Stephen Paul King wrote:

Dear Bruno,


On Sat, Dec 28, 2013 at 7:30 AM, Bruno Marchal <marc...@ulb.ac.be> wrote:

On 28 Dec 2013, at 05:27, Stephen Paul King wrote:

Hi LizR and Jason,

Responding to both of you. I don't understand the claim of determinism is "random noise" is necessary for the computations. Turing machines require exact pre-specifiability. Adding noise oracles is cheating!

But it exist in arithmetic. Subtracting it would be cheating. the silmple counting algorith generates all random finite strings (random in the strong Chaitin sense).

Almost all numbers are random, when written in some base. And you can define the notion of base *in* arithmetic, so they exist in all models of arithmetic. We can't subtract them.

With respect: No! We cannot wait forever (literally) to obtain consistency of our data bases in the face of the inability to know in advance the arrival time of messages in the network.

The fact that arithmetic "contains" all finite (even the random ones) strings is an ontological claim. I have no problem with the claim. My problem is that we cannot reason as if time does not exist when we are trying to construct real computers.

We have to use different ideas, for example: competition for resources! Platonic computers do not compete for resources nor change. They are static and fixed eternally...

In God's eyes. We already know that from inside, except for the measure problem which remains to be solved, things look very dynamical and changing all the times. Bp & p is already a logic of (subjective) time. Bp & Dt gives a quantum logic, Bp & Dt & p gives a subjective or intuitionist quantum logic full of percepts including a time which can be felt.

It is a trivial exercise to show that all diophantine approximation of anything physical is emulated in arithmetic, so Platonia contains all possible competition on all conceivable resources, and actually anything that you can live, or not live, like the collision between the Milky Way and Andromeda is emulated statically in arithmetic, and lived temporally by its emulated persons.

Platonia is static from outside, not from inside. Arithmetic becomes a block universe(s), although it is more like a "block-mindscape" or a block multi-dreams".

Bruno



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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to