> On 16 Aug 2018, at 20:50, Brent Meeker <meeke...@verizon.net> wrote: > > > > On 8/16/2018 3:24 AM, Bruno Marchal wrote: >> >>> On 15 Aug 2018, at 21:33, Brent Meeker <meeke...@verizon.net >>> <mailto:meeke...@verizon.net>> wrote: >>> >>> >>> >>> On 8/15/2018 2:52 AM, Bruno Marchal wrote: >>>>> And you have not recovered the quantitative aspect of the quantum >>>>> structure, >>>> I did at the propositional level, which is enough to have the quantum >>>> logic. It is richer than the quantum logic of the physicians, so this >>>> predicts new things. >>> >>> What are they? >> >> The consequence of the Löb’s formula translated in the quantum logical >> terms. Those are long and ugly formula, still beyond the reach of my (old) >> theorem prover. > > So they are not testable.
? Some are testable and tested, and some are not *yet* derived, and thus not tested, but they are testable of course. Not sure how you arrive at your conclusion. > >> >> >> >> >> >>> >>>>> because you have not defined a measure on the computations of the UD. >>>> Not yet, but I am willing to hear some constructive suggestion to >>>> progress. >>> >>> Then how can you claim to have recovered quantum mechanics if you cannot >>> even define a probability amplitude that is linear? >> >> >> Because I have recovered enough to classify those logics as quantum logic. > > That's a far cry from quantum mechanics. But the UDA shows that if we don’t get quantum mechanics, it has to be false, or mechanism is false. The whole point is that we can test this. The goal is to get a coherent picture in the computationalist frame. Physicalism is *already* refuted. Digital Physics is already refuted. The identity mind-brain is already refuted. This things works well FAPP, but do not work at all in a context taking into account the mind-body problem. > >> *Much* work needs to be done to get the corresponding “Gleason theorem”. It >> is just a matter of work. > > Until it is done you don't know that "it is just a matter of work.” Of course we do. That follows from the UD-Argument. On the contrary: invoking some Primary Matter has been shown to not work. Bruno > >> Nobody claims this to be simple, but people needs to get familiar with >> incompleteness before. Even Penrose got it wrong. There is still an abyss >> between logicians (allergic to metaphysics for historical reason well >> explained in the book by Cohen that I have often mentioned), and physicists >> (which are unaware of the notion of mathematical models or semantics). >> Things take time. >> >> Bruno >> >> >> >>> >>> Brent >>> >>> -- >>> 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 post to this group, send email to everything-list@googlegroups.com >>> <mailto:everything-list@googlegroups.com>. >>> Visit this group at https://groups.google.com/group/everything-list >>> <https://groups.google.com/group/everything-list>. >>> For more options, visit https://groups.google.com/d/optout >>> <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 >> <mailto:everything-list+unsubscr...@googlegroups.com>. >> To post to this group, send email to everything-list@googlegroups.com >> <mailto:everything-list@googlegroups.com>. >> Visit this group at https://groups.google.com/group/everything-list >> <https://groups.google.com/group/everything-list>. >> For more options, visit https://groups.google.com/d/optout >> <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 > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
