Thanks, Russell. Bruno tried to explain this to me a while ago but I probably didn't take it all in. Am I right in thinking this has something to do with "no oracles" - that is, reality contains no sources of infinite unpredictable data? A naked signularity would presumably count as an oracle, while it appears any area of space-time contains finite data (the Deckenstein bound?) - does that make it Turing complete, in principle? Or am I talking nonsense?
On Thursday 12 September 2024 at 18:39:30 UTC+12 Russell Standish wrote: > On Wed, Sep 11, 2024 at 09:40:32PM -0700, Liz R wrote: > > Well, exactly. It's Peano or whatever, so a small subset. Bruno and > Tegmark > > have this idea - I find Tegmark easier to follow personally - that > because > > physics is possibly isomorphic to some set of equations that describe > reality, > > Occam suggests that we don't actually need reality to exist, only the > > equations. > > > > It is more that whatever foundational basis of reality is, so long as > it is Turing complete, a computationlist mind cannot distinguish it > from any other Turing complete substrate. It is almost assuredly not > the reality we see. In another sense, our reality supervenes on all > possible universal Turing machines. The question of what is the > foundational reality has no answer - epistemologically equivalent to > asking how many angels can dance on the head of a pin. > > > > -- > > > ---------------------------------------------------------------------------- > Dr Russell Standish Phone 0425 253119 (mobile) > Principal, High Performance Coders [email protected] > http://www.hpcoders.com.au > > ---------------------------------------------------------------------------- > -- 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/bf2be45c-10ab-4949-98c7-dc01583c8ff5n%40googlegroups.com.
