A theory of nature is certainly different of nature, like the brain+telescope is different from a far away galaxy. Note that a theory of the arithmetical reality (like PA or even ZF) is also different than the arithmetical reality. Then, a theory of arithmetic can be seen as a number, like the Gödel number of the provability predicate, and a large part of the metamathematics is emulated in arithmetic. The arithmetical reality reflects the “talks” of the numbers about arithmetic and about themselves, and the arithmetical reality explores itself. Physics is retrieved by what the machine can predict in some first person plural partially sharable way. Geometry, analysis, and physics are the unavoidable tools that the “number” invents to understand themselves. But consciousness of the human type can require a relative rarity combined with a huge continuous explosion in the multiple representation. The bottom is highly and completely symmetrical, but from inside we break the symmetries (“we” the universal machines). Bruno > > - pt > > -- > 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 post to this group, send email to email@example.com > <mailto:firstname.lastname@example.org>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.