On 01 Sep 2009, at 16:32, Flammarion wrote:

> Bruno wants to substitue matetr with Platonia as the substrate.

Not at all. This definitely convinces me that you have not even try to  
begin to read the proof.

Ontically you can say there is a bottom. 0, 1, 2, 3, 4, .... (that is  
0 and the successor axioms).

Then it is structured by addition and multiplication, only.

This is enough for defining internal observer (as relative universal  
machine), and their physical reality. This one appears, as a theorem,  
not having any bottom (from the machine view, what happens below its  
substitution level depends on the whole set of computations going  
through her state).

There is just no need, nor any possible use of any substrate. You can  
read the mathematical part of work without leaving your formalist  
cocoon. You need the "yes doctor" only for linking your experiences  
with the theory. But you can just study the physics of the universal  
machines, if you want not commit yourself to CTM.

Platonia, is just the so-called standard model of arithmetic. It is  
(N, +, x). A highly undecidable structure, but not more than what we  
play with when doing trigonometry at school. Things like functional  
analysis are far more 'big'.

It has virtually nothing to do with Plato, unlike AUDA which relies on  
Theaetetus definitions of knowledge.

There is no substrate at all. Physics becomes the science of the  
universal machine observables, and what is observed are invariant  
pattern bearing on projection of infinity of computations. UDA1-7  
explains this, before the abandon of physicalism.

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 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
-~----------~----~----~----~------~----~------~--~---

Reply via email to