(reposted from my essay forum)
Thanks, Steve -- as I posted in your forum, we are in accord on many things, and the foundations of computability is, I think, the most important issue in frontier science.
Beyond the scope of the essay question, the growing fields of brain science and artificial intelligence depend strongly on resolving the issues of network robustness and integrity -- i.e., the amount of information that can be effectively used at each decision point such that positive feedback doesn't overpower the computing function.
It's a key point -- the number (1) in your concluding remarks, that twice applying the self-referential operation generates a true statement. It's the identical point I was making with the Popper example of pairwise correlations followed by a single result that may or may not be correlated with the pairwise value. Length restrictions kept me from exploring the basis of Popper's program -- which is Richard von Mises's theory of the independence of collectives -- Popper notes (p. 196) in *Realism and the Aim of Science*:
"von Mises's 'axiom' (which postulates the existence of a limit of the relative frequency of the occurrence of a property P in any probabilistic sequence of events or 'collective') may be written as a universal-existential-universal-existential-universal statement, of the following form: '*For every* probabilistic sequence, *there exists* a real number x between 0 and 1, called the limit of the relative frequency, such that *for every* given fraction y, however small, for which y > 0 holds, *there exists* a natural number n, such that *for every* natural number n (for which n > m holds) the relative frequency of m/n, of m occurrences of the property P up to the nth event of the sequence does not deviate from x by more than y, that is to say, - y =/< x - (m/n) =/< y."
In network terms, adding a time parameter, this implies that information lost to one decision node is not lost to the network hub at which it originated, such that continuously shifting hubs of decision activity are self-organized in the same context that you take to be self-referential.
As I think it is pertinent to the content of both of our essays, if you don't mind, I am going to repost this in toto in your forum.
Thanks again and all best,
Tom