Hi Bruno, Is the measure idempotent <http://en.wikipedia.org/wiki/Idempotence>?
On Thu, Jul 3, 2014 at 1:14 PM, Bruno Marchal <marc...@ulb.ac.be> wrote: > > On 03 Jul 2014, at 06:51, Richard Ruquist wrote: > > Quantum measure is the result of solving Schrodinger's Eq. > yielding a different probability for each quantum state > and a different measure for each different scenario > unlike the invariant measure of the reals. > Do you disagree? > Richard > > > > The quantum measure is a measure on solutions of an equation, like square > normed functions or operators in a linear (Hilbert) space (like in both QM > and functional analysis). The measure on the reals is a measure on real > numbers. With comp, the measure is on the relative states. It is really a > measure on the transition <a I b>. In quantum mechanics it is given by [<a > I b>]^2, but with comp this must be explained by a measure on all the > computations going from a mind state corresponding to observing 'a to a > mind state of observing 'b, taking into account the fact that an infinity > of universal numbers justifies those transitions (= makes them belonging to > a computation). > > The protocol of the iterated WM-duplication is a very particular case. The > first person histories with computable sequence like "WWWWWW...", or > "WMWMWMWMWM... ", becomes the white rabbits event, and the norm is high > incompressibility (a very strong form of randomness). > > The ultimate protocol is the "logical" structure of the sigma_1 > arithmetic. By the dovetailing on the reals, it mixes a random oracle with > the halting oracle so that we can expect a "non-machine" for the first > person truth. But it is already a non machine, from the machine view, by > simple incompleteness. > > The interview of the löbian machine does not provide the measure calculus > (Plato-Plotinus 'bastard' calculus with the Plotinus lexicon), but it > provides the logic of the measure one, from which the measure calculus + > the arithmetical constraints) should be derivable (and the measure one > admits a quantization confirming things go well there). > > Bruno > > > > On Thu, Jul 3, 2014 at 12:44 AM, Russell Standish <li...@hpcoders.com.au> > wrote: > >> On Thu, Jul 03, 2014 at 12:23:35AM -0400, Richard Ruquist wrote: >> > On Wed, Jul 2, 2014 at 10:34 PM, Russell Standish < >> li...@hpcoders.com.au> >> > wrote: >> > >> > > On Tue, Jul 01, 2014 at 04:30:52PM -0400, Stephen Paul King wrote: >> > > > Hi Russell, >> > > > >> > > > Ah! I don't quite grok it completely, but thank you for this >> example. We >> > > > had to assume an already existing measure on the Reals. Where does >> that >> > > > come from? >> > > > >> > > >> > > The standard measure on the reals is based on the observation that we >> > > expect the set of real numbers starting with 0.110... to have the same >> > > measure as those starting with 0.111... That would be a reasonable >> > > default assumption for most purposes. >> > >> > >> > The measure obtained by compression of the reals in binary form is >> close to >> > the quantum mechanic measure, but not exact. >> > In fact, the quantum measure varies with the scenario, whereas the >> measure >> > of the reals is invariant. >> > Richard >> > >> >> What do you mean? What is this "quantum measure"? >> >> -- >> >> >> ---------------------------------------------------------------------------- >> Prof Russell Standish Phone 0425 253119 (mobile) >> Principal, High Performance Coders >> Visiting Professor of Mathematics hpco...@hpcoders.com.au >> University of New South Wales http://www.hpcoders.com.au >> >> Latest project: The Amoeba's Secret >> (http://www.hpcoders.com.au/AmoebasSecret.html) >> >> ---------------------------------------------------------------------------- >> >> -- >> 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/d/optout. >> > > > -- > 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/d/optout. > > > http://iridia.ulb.ac.be/~marchal/ > > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Everything List" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/everything-list/1NWmK1IeadI/unsubscribe. > To unsubscribe from this group and all its topics, 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/d/optout. > -- Kindest Regards, Stephen Paul King Senior Researcher Mobile: (864) 567-3099 stephe...@provensecure.com http://www.provensecure.us/ “This message (including any attachments) is intended only for the use of the individual or entity to which it is addressed, and may contain information that is non-public, proprietary, privileged, confidential and exempt from disclosure under applicable law or may be constituted as attorney work product. If you are not the intended recipient, you are hereby notified that any use, dissemination, distribution, or copying of this communication is strictly prohibited. If you have received this message in error, notify sender immediately and delete this message immediately.” -- 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/d/optout.
