On 10/4/2018 12:06 AM, Bruno Marchal wrote:
You need a universal machinery. Very elementary arithmetic (like Peano
without induction) determines such a universal machinery (the phi_i),
then, you get all the universal number u (such that phi_u(x,y) =
phi_x(y), and each u defines its own universal machinerery: phi_u(0,
_), phi_u(0, _), phi_u(1, _), phi_u(2, _), …
All universal “thing” mimic all universal “thing”, but they have
special statistical relation, and different personal beliefs. They
determine (in the arithmetical reality) the “consciousness flux”,
which determine the (unique!) physical reality, which is a sort of
multiverse/multi-dreams.
What would be the programs and languages (π,λ) that could be defined?
All of them, but with their different relative measure. They are
mathematically determined by the G* logic (self-referential truth).
What is the measure on universal machines in arithmetic?
Brent
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
