On Monday, June 24, 2019 at 4:13:51 AM UTC-5, Bruno Marchal wrote: > > > On 24 Jun 2019, at 05:27, 'Brent Meeker' via Everything List < > [email protected] <javascript:>> wrote: > > > > On 6/23/2019 1:55 AM, Bruno Marchal wrote: > > That sounds a bit observer dependent. > > Yes. It is. The physical reality becomes a first person plural view of > arithmetic seen by itself from the universal number/machine perspective. An > observer is just a (Löbian) machine seen from the material modes of the > self ([]p & p with p sigma_1, or []p & <>t, or []p & <>t & p). > > Which raises the question of why we each see (from the inside) the same > physical world. > > > It is a symptom that we are not more than universal numbers, given that we > get the conclusion that all universal machine/number have the same physics. > > Digital Mechanism provides a new powerful invariant for physics: the > physical laws are invariant for all observers, and is invariant for the > change of the ontology (combinators, numbers, etc.). > > Digital mechanism explains why there is an apparent physical universe, and > why the laws of physics are really laws, and, and this is better than > physics, why the physical reality separates into sharable quanta, and non > sharable qualia. > > Bruno > > > > That every "universal machine/number" has "the same physics" would be consistent with materialism: There is just matter (that's all the cosmos is), and it's the matter that ever was or will be.
"Materialism is a philosophical perspective according to which all that occurs or exists has its origin and cause in matter and its transformations." - https://www.academia.edu/38046481/A_Survey_of_Materialism_in_Thought_and_Communication @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/cadff0a5-4e8f-4c06-97ea-75d044b7c4dc%40googlegroups.com.
