Hi Joy and Tom,
I too am grateful to you for engaging in meaningful discussion. I was previously unaware of Joy's work (and Buridan's principle ) and your comments have advanced my thinking to the point where I am certain that the key issue really is a mathematics description problem in trying "to reconcile local discrete measures with globally continuous functions".
In the spirit of the essay contest of questioning assumptions, I realised I have been making an assumption about Joy's work. This is partly because the initial point of comparison was the dependence on the 4 spheres S0, S1, S3, S7. In my case, these are physical spaces in a classical metric field theory where the Relativity meta-principle - make no preference - selects them all, and the unification principle gives only one possible unification which yields these spaces (STUFT). The fact that the dimensionally reduced version of this KKT derives the Standard Model Lagrangian with the correct electroweak vacuum (and Weinberg angle) and spectrum of 12 fermionic particle-like objects in classical physics is a nice feature (and the coupling constants, including the Higgs scalar coupling which predicted the classical Higgs boson mass to be 123GeV). Then comes the *real issue*, what is Quantum Theory all about?
I think this is the real point of comparison of my work (primarily in Agent Physics but also as presented in Science Theories) with Joy's, where the QT context for Bell's analysis has distracted me from Joy's functional analysis of hidden variable theories being more general than *just* QT. Bell's analysis started from the existence of QT and asked whether there exist a hidden variable theory that can account for the same correlations between observables as QT. However, a functional analysis whose only conditions are local causation and correlations between observables can surely be applied to any assumption of a hidden variable theory in science (ie. without the pre-condition that is replacing QT)?
The reason for considering this possibility is that my physics-based analysis of numerous physical systems identifies a recurring feature of a self-consistent (causally closed) dynamic state residing on the giant connected component of some physical network. Any physically-real theory of these systems can be proven to be incomplete because of the discrete character of the dynamics of the network - this specifically includes the classical physics of particles, as in my essay. It seems to only make sense for the possible undecidable proposition in the physically-real theory to describe a collective property of the dynamic state residing on the giant connected component. This can potentially give a description problem in physically-real terms, because the inputs to the network cause discrete changes to propagate through the giant network component, with its undecidable feature, to the outputs. Encountering a network state with undecidable properties would surely have some effect on the outputs, such as altering the correlations between the outputs observed?
Joy's functional analysis of correlations between observables in a non-relativistic context would seem to be wholly appropriate to this situation. The combination of my work and Joy's functional analysis leads me to the proposition: the presence of the undecidable property on the core network component causes correlations between the network outputs that cannot be accounted for in a discrete theory in physically-real terms. Assuming that the correlations can be accounted for if only we knew some extra missing terms constitutes an assumption of a hidden variable theory. The follow on from the above proposition is that the richer functional structure of continuous functions can account for the correlations in output, where such terms do not directly correspond to the inherently discrete physical components of the network system and so are non-physically-real terms (like the wave-function of QT).
Extending the functional analysis to this scenario could potentially provide a mathematical proof (or disproof) of my proposition that the presence of an undecidable feature on a discrete network system is the *cause* of the correlations that cannot be accounted for by a discrete hidden variable theory. I show that the required network conditions can occur in biology, psychology and economics ... with the prediction following on from this proposition that there will exist correlations between observables in these system which cannot be accounted for by a physically-real scientific theory. These disciplines implicitly make the assumption that there will exist a hidden variable theory that will account for all experimental observations. It seems to me that Joy's work provides the basis for the construction of experimental tests of these assumptions throughout science.
Best
Michael