Fixed point

This is an excellent article on Quines and related:
http://www.madore.org/~david/computers/quine.html

Still at an informal stage myself I'm assuming it means that essentially any system has a fixed point which output itself. Maths functions have fixed points where they cross the y=x line. In
computing they are called Quines which are programs that have themselves as output.

Now we can construct a system to emulate anything so there are quines in the C language. But we can write an emulator of the C language (in C if we like) and so write a Quine which outputs the C compiler itself.

Fixed points are very closely linked with self-reference. And it seems that one of the problems of the SRH has been shown to not be a problem. A program can indeed create itself.

One of Escher's drawing hands may indeed be able to draw itself once it is finished. But the problem more precisely for the SRH is that it couldn't draw itself before it was completely drawn. This is the paradox of Escher.

In teh computer analogy a progam still has to be executed on an executing environment. And that environment must be prior to execution. That is the SRH exactly.

===

Use Tarski's True method for predicate "self" ...