SRH

Once again I'm still trying to frame the SRH problem - it is well known and assumed by all but I can't see the core reason for it. I'll try the symbolic logic approach again...

Take a single sentence such as:

01101100011011011000110110110

Having only one state it is exactly isomorphic with itself. Given that sentence, then you have that sentence. It is not exactly insightful! Something more substantial is required to show up the process by which the self relates to the self in a way that stops the self constructing itself.

Quines are interesting in that they appear to generate themselves. You need the quine before you start of course, but given a quine it output itself. A computer program is just a bit sequence which is isomorphic with a binary number and so a number. A Quine is a program which outputs the number it is isomorphic with. So the sequence of code in a computer memory when run generates the same sequence of code in another part of computer memory. A trivial program does nothing, and another form of trivial program simply copies its own memory block somewhere else. A Quine "generates" itself without taking in any "external" data. "External" here means data that was neither present before runtime nor data that has been created since runtime. An example of a quine in ordinary language is:

"quoted and followed by itself makes a quine" quoted and followed by itself makes a quine

however what is the difference between a quine that simply copies its memory block to output and one that copies a part of its memory block to memory (the data) and then outputs it twice - once in quotes and then again without quotes?

LOOK IN DEPTH AT THE TWO METHODS I THINK THEY ARE DIFFERENT

It seems that the rules for quines arbitrarily demand that the code




OK the problem here is to define EXTERNAL then you got a blog entry!!!!

created by the program at runtime - that is all data is hard coded into the program before "runtime". "Generation" then occurs at "runtime"

This examination of Quines introduces the elements that were lacking in the first example of the number. This number has no "runtime". It does not "generate" anything. And so it has no "internal" form and "external" form.

Separating something into "internal" and "external" form i.e. to recap the state before runtime is called internal here, and the


Now the SRH occurs when something tries to "generate" "external" data. So it seems that