On 3/2/2018 11:05 AM, Bruno Marchal wrote:

But you're now confounding provable and true and using "existence" inthe sense of satisfying axioms as though it mean the same as incommon discourse.The UD exist and is emulated in the same sense that the prime numbersare distributed in some ways.I am just clear. In the ontology only 0, s(0), …. exists. It is thewhole point that when we assume that consciousness is invariant forsome digital transformation, you would need to reify matter andattribute it some magical (Non Turing emulable, nor FPI-recoverable)property to make some computations more real than other,

`Sometimes I wonder if you know how science works. It doesn't make`

`assumptions that contradict observations, it makes observations and`

`tries form theories that match. It is a simple trivial observation that`

`some computations are more real than others. That observation doesn't`

`require reifying matter or assuming anything magical. It's an observation.`

where in fact on the the self-referentially correct measure can beobtained by mathematical means, and then we can compare with Nature.Up to now, Arithmetic + its internal physical/material phenomenologiesfits the facts,

Like all computations exist? I think not. Brent

where physics still dismiss the first person (despite the tremendousprogress made by Galileo, Einstein and Everett, or people likeBoscovic or Rossler).

-- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.