> On 19 Nov 2019, at 20:18, 'Brent Meeker' via Everything List > <everything-list@googlegroups.com> wrote: > > > > On 11/19/2019 6:55 AM, Bruno Marchal wrote: >> >>> On 18 Nov 2019, at 22:14, 'Brent Meeker' via Everything List >>> <everything-list@googlegroups.com >>> <mailto:everything-list@googlegroups.com>> wrote: >>> >>> >>> >>> On 11/18/2019 12:20 PM, Alan Grayson wrote: >>>> >>>> >>>> On Monday, November 18, 2019 at 1:16:46 PM UTC-7, John Clark wrote: >>>> On Sun, Nov 17, 2019 at 7:43 AM Philip Thrift <cloud...@gmail.com >>>> <javascript:>> wrote: >>>> >>>> > Adrian Kent's https://arxiv.org/abs/1305.6565 >>>> > <https://arxiv.org/abs/1305.6565> "real path quantum theory" RPQT >>>> >>>> If you fire electrons at 2 slits and observe the slits then each electron >>>> takes a real path through one and only one slit and no interference >>>> pattern is produced. If you fire electrons at 2 slits and do NOT observe >>>> the slits then a interference pattern is produced indicating that each >>>> electron went through both slits. Thus real path quantum theory needs 2 >>>> sets of physical laws, one for when things are observed and one when they >>>> are not. Many Worlds only needs one set of physical laws, and one set is >>>> more parsimonious than two. >>> >>> That's what the evangelists for MWI say. But in fact some more stuff is >>> needed to explain why we see the world as we do, i.e. how probability comes >>> into it and why is there a preferred basis. Maybe this more stuff can be >>> derived from Schroedinger's equation, but even to do so seems to require >>> additional assumptions. >> >> With mechanism: it requires *less* assumptions. Any physics accepting the >> mechanist theory of mind must explain the physical appearance from a measure >> on all (relative) computations. > > You frequently use this unconditional form of "must" when you actually mean > "must, if my theory is right" which is trivial.
It is not my theory, it is my theorem. I made precise “With Mechanism”. I am glad you find it trivial, but you are alone on this. It is simple, but not really trivial. It is usually contested by people who are not aware that the notion of computation is an arithmetical notion, definable using only 0, s, + and *, or even with just the K and S axioms, and a bit of equality rule. Bruno > > Brent > >> The math required for doing this requires more axioms (like the distribution >> of prime number studies seems to require analytical axioms). That is normal, >> given incompleteness. >> >> Bruno >> >> >> >>> >>> Brent >>> >>>> And if everything that can happen does happen then unlike its competition >>>> Many Worlds doesn't have to explain exactly what a "observation" is or >>>> worry about the true nature of consciousness because it has nothing to do >>>> with it. >>>> >>>> John K Clark >>>> >>>> You're hopelessly deluded. AG >>>> -- >>>> 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 >>>> <mailto:everything-list+unsubscr...@googlegroups.com>. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/everything-list/61089f19-6014-4b29-8259-06bdbce4de25%40googlegroups.com >>>> >>>> <https://groups.google.com/d/msgid/everything-list/61089f19-6014-4b29-8259-06bdbce4de25%40googlegroups.com?utm_medium=email&utm_source=footer>. >>> >>> >>> -- >>> 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 >>> <mailto:everything-list+unsubscr...@googlegroups.com>. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/everything-list/f021a8a1-6bcc-6a66-9452-4489348b1f45%40verizon.net >>> >>> <https://groups.google.com/d/msgid/everything-list/f021a8a1-6bcc-6a66-9452-4489348b1f45%40verizon.net?utm_medium=email&utm_source=footer>. >> >> -- >> 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 >> <mailto:everything-list+unsubscr...@googlegroups.com>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/everything-list/A1C0565E-0661-425D-8C75-B3A493854B0E%40ulb.ac.be >> >> <https://groups.google.com/d/msgid/everything-list/A1C0565E-0661-425D-8C75-B3A493854B0E%40ulb.ac.be?utm_medium=email&utm_source=footer>. > > > -- > 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 > <mailto:everything-list+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/7d2c48d6-dfc5-bd07-4f54-e3e4ee8d935e%40verizon.net > > <https://groups.google.com/d/msgid/everything-list/7d2c48d6-dfc5-bd07-4f54-e3e4ee8d935e%40verizon.net?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/D44905AA-B77A-4BD2-A675-F026000ED95A%40ulb.ac.be.
