skepsci comments on GAZP vs. GLUT - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (166)
The Godel number of a Turing computation encodes not just a single configuration of the machine, but every configuration the machine passes through from beginning to end, so it's more than just a paused Turing machine. It's true that there's no dynamics, but after all there are no dynamics in a timeless universe either, yet there's reason to suspect we might live in one.
The later configurations reflect on the earlier configurations, which is, for all intents and purposes, active reflection.
To be pedantic, perhaps I should say the configurations coded by the exponents of larger primes reflect on the configurations encoded by the exponents of smaller primes, since we have the entire computation frozen in amber, as it were.