On 10/17/2012 12:10 PM, Bruno Marchal wrote:

## Advertising

On 17 Oct 2012, at 02:42, Stephen P. King wrote:It is the inability of comp to solve the arithmetic body problem thatis its Achilles heel.No. It is the strongest point of comp. It does solve itconstructively, so it makes comp testable and/or our simulation levelmeasurable.

Dear Bruno,

`Yes, my wording was wrong, exactly the opposite is what I meant to`

`write. I blame my dyslexia. :_(`

You can see it in another way, comp explains how and where the laws ofphysics, and psychology, come from, and with the wholeconsciousness/matter coupling. It does not solve the problem becausethe math are hard, only. Then the logic of observability, perhaps in atoy case, are already given and tested.

`Yes, I agree but must point out that the constructable solution is`

`only of a single arithmetic mind due to the strong implication of`

`Tennenbaum's theorem`

`<http://en.wikipedia.org/wiki/Tennenbaum%27s_theorem>! There is only a`

`single countable model of arithmetic that is recursive. My suggestion is`

`that we can get a true plurality of arithmetic models if we allow the`

`nonstandard models but make the constant symbol (that designates the`

`particular nonstandard version`

`<http://en.wikipedia.org/wiki/Non-standard_model_of_arithmetic#From_the_compactness_theorem>)`

`invisible to the model, thus the model will have "plausible deniability"`

`that it is not a standard model of arithmetic. This, I suspect, will`

`give us a way to "center" each of an infinite number of observers in a`

`compact and Hausdorff universe and allow the definition of commutative`

`relations between the 1p of these.`

That there is a body problem is the interesting thing, imo.

It is very interesting to me. I want to solve it!

The other theories assume the body, and the mind, and some relationshown incompatible with comp.

I agree.

Comp, as such, is not an explanation. Just a frame where we canformulate the problem mathematically, and that is the main reason tostudy it, even if false. In fact, you need to study to comp to developan authentic non-comp theory.

Right. I accept comp in this way.

Comp is not an explanation per se, neither of the mind nor of thebody. The explanation is in the reasoning and the math. Comp itself isjust the bet that we are Turing emulable at *some* level.

`Yes. I want to extend the idea so that we have a way of 'indexing"`

`the levels in a constructable way to recover a local measure.`

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