> On 3 Jul 2021, at 14:13, Tomas Pales <[email protected]> wrote: > > > On Saturday, July 3, 2021 at 1:55:59 PM UTC+2 Bruno Marchal wrote: > > With Mechanism the physical laws remains persistent because they are the same > for all universal machine, and they come from the unique statistics on all > computations (in arithmetic, in lambda calculus, in any Turing universal > theory or system). > > Can't there be a machine that computes gravitational interaction with > gravitational constant 6.674 x 10 to the -11 up until some time t and then > continues the computation with gravitational constant 5 x 10 to the -11, or > just halts? That would be an instability or cessation of gravitational law.
Yes, and that exists, but such world will have a very low probability to be accessed by any observer, due to the fact that, below our mechanist substitution level, all such theories intervene. In arithmetic, we have to sum on *all* computations, and the aberrant histories are presumably filtered out in a way similar to Feynman randomisation of phase on the “non-shorter path”. The wave comes from the quantum logical formalism which is a measure of ignorance on our accessible histories. You need to take into account that no universal machine can determine a precise computation history she would be transported by. You need to sum them all. The primary matter, even the vacuum, and the space-time structure emerges from the sum on all computation, which makes the observable obeying definite laws. I ca, give reference to my papers, but you will need to invest in some mathematical logic (notably the provability logics G and G*). Bruno > > > -- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/dbc987e6-1228-4d58-8e85-6d1f7e15376bn%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/dbc987e6-1228-4d58-8e85-6d1f7e15376bn%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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/B5816C69-2986-47F5-888C-13D4DE6ABEC7%40ulb.ac.be.
