On Thursday, July 4, 2019 at 3:31:27 AM UTC-5, Bruno Marchal wrote: > > > > On 3 Jul 2019, at 19:54, 'Brent Meeker' via Everything List < > [email protected]> wrote: >
> > You may be able to access your subjective time, but does it provide a > measure...and if so what is it? > > > We get three candidates for the logic of the measure one, given by the > logic of the intensional variant of G ([]p): > > []p & p > []p & <>t > []p & <>t & p > > With “[]” = Gödel’s beweisbar, and p is any sigma_1 arithmetical > sentences (it models the Universal dovetailing). > > If that logic verifies some technical condition (described by Von Neuman > in some papers), the logic should provides the entire probability calculus, > as it has to do if Mechanism is correct. > > G and G* splits both []p & <>t and []p & <>t & p. So we get 5 logics, but > normally, only the starred logic should provides the measure, because it > depends on the true structure made by the 1p experiences, and not the > experienced experiences. Our future depends non locally of all our existing > “preparation” or “reconstitution” that exists in the (sigma_1) arithmetic > (the universal dovetailer). > > > > Bruno > > > If that above is a correct *experientiality logic*, then what would be a 'machine' -- defined in terms of physics (or chemistry or biology) -- to execute it? We know one 'machine' exists: our brain. But what machine is that? @philipthrift -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/da326d5c-d847-4ee1-b18f-4743dc5d94dc%40googlegroups.com.
