That is the constructive move. With mechanism, this is given by S4Grz1, and/or typing the combinators. It corresponds to the first person. Tegmark seems oscillate between third and first person views, but when taking mechanism seriously *in the cognitive science* (and not in physics), we have to take both points of view, and derive their relations from self-reference. As I said, the 1p/3p relation is more subtle than the bird/frog change of scale. You might try to explain Haskell monad for infinite search in finite time. Mechanism explains this from the first person point of view, but is not seen as being something algorithmic. 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 post to this group, send email to firstname.lastname@example.org > <mailto:email@example.com>. > 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 firstname.lastname@example.org. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.