On 27 Feb 2015, at 19:50, John Clark wrote:


On Thu, Feb 26, 2015 at 6:29 PM, LizR <[email protected]> wrote:

>> I don't know about all the peepee stuff but I do know that If Everett is right then all experiences exist, and if Everett is right nothing is random because the Schrodinger wave equation is not random.

> He means it appears random from any given person's perspective.

Yes, people very often, usually in fact, don't know with certainty what the future will bring. Bruno apparently believes he's the first to notice that,


I never said that. never. But you made me believe it is a findamental discovery not yet understood by many, or, when understood, not being taken into account (due in general to people unaware that elementary arithmetical truth implement all computations.

Sometimes I make the distinction between the local FPI and the global FPI.

The local FPI is the indeterminacy in a WM-duplication (say), where all you need to understand is that if you are a machine (at some description level), then you are duplicable, and you can't predict with certainty the outcome of your future "open-the-door" experience.

The global FPI involves either arithmetical realism, or the existence of a concrete universal dovetailer execution. It is the indeterminacy described at step seven.

I think you are the only person I know who does not understand the local FPI described in step 3. Yet, only that one explains how a form of subjective randomness appears, and is described in a verifiable way in their notebooks. Indeed, by simply duplicating population of machines, we can make that indeterminacy first person plural, like it seems with QM, except that here we don't start from QM.

I am doing an easy thing here, which just show how hard the mind-body problem is with computationalism as the physical reality has to be extracted by some limit Global indteerminacy of the universal machine in (sigma_1) arithmetic.

It is easy, as it is a formulation of a problem.

It is shocking only for those who take the physical universe's primary character for granted. The religious physicalist, if you want. But those betrayes their lack of scientific atitude. They forbid the doubt.


well he is the first to give that concept a pompous sounding acronym. As I said, philosophy around here is finding pretentious and long words to describe well known but pedestrian ideas.


It is philosophy. OK. But it is also computer science, cognitive science, theoretical physics and ... theology (in the sense of Plato, Parmenides, Plotinus, Proclus).

It is science.  If you found a mistake, publish it.

John, you must be serious, you have not yet convinced anyone of any reason why not trying answering the question in step 4 of the Universal Dovetailer Argument.

You play with the word when mocking the simple indexical definition of 1p and 3p I gave, which makes their job in the UDA. It is pure 3p, anyone can undesrtand, and sometimes you do understand (and then say this does not deserve the Nobel Prize in Physics, which might be true, or false, but is not relevant), as when you do understand it, what about step 4?

And, then very patiently, for those who would not implicate themselves in a self-duplicating experience, I translated this in pure 3p arithmetic, thanks to Gödel's and Solovay's results. Self-duplication and self-reference are defined with Kleene second recursion theorem. You should study the math part if you stop at step 3. And ask any question if something seems unclear, instead of dismissing, injuring, insinuating, etc.


Bruno






 John K Clark





--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to