|
|
|
|
|
|
by xamuel
4085 days ago
|
|
|
Self-referential formulas (truly self-referential ones, not involving the magic constant in Tupper's famous one) are conceptually a consequence of Kleene's recursion theorem, just like self-printing programs, but with a bit more caveats---obviously necessary caveats since it all depends on things like font choice etc. I spelled the details out in a paper [1] but there's really nowhere appropriate to publish it, since it's too trivial for a mathematician/computer scientist audience and too tricky for a more general audience. [1] http://semitrivial.com/papers/eqn.pdf |
|
|