> On 3 Jul 2021, at 14:13, Tomas Pales <litewav...@gmail.com> 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 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/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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/B5816C69-2986-47F5-888C-13D4DE6ABEC7%40ulb.ac.be.