Hi all,
Welcome to fcy
"Universal Dance Association" is quite cute :) A universal dance could be a Universal Dovetailer if "digital dance" could make sense.
UDA (in this list) is for Universal Dovetailer Argument. You should google on this term, on the net or on the everything-list archive. You may look here also for references:
A universal dovetailer is a program which generates and execute all possible programs. It is a mathematical object and its existence follows from the Post-Church-Turing thesis.
The universal dovetailer argument is an argument which shows that the mechanist hypothesis leads to a notion of strong first person indeterminacy, and that eventually the laws of both physics and psychology/theology (quanta and qualia) have to be derived from "pure" number theory/computer science.
If I succeed to explain UDA sufficiently well, I will be able to give some account of AUDA which is far more sophisticated, and useful only to get already quantitative physical information from numbers/computer science (as opposed to UDA which "just" show that physics has to be given by a first person measure on the computations occurring in the universal dovetailing).
----
Elsevier has asked me to write some topics on its SciTopics. You may take a look at
Comments are welcomed.
I let you know that I will have some more time for now (October was very heavy!). So it is time to ask questions for the thread "the seven step series" (which is about the seventh step of the UDA) before I proceed. I will make a little sum up next week. There has been more than five versions of UDA already send to the list, but I am not sure everyone understand, so please ask questions. All questions are allowed on this non moderate list, so feel free, to ask anything (related) to the everything-like approach in the search of a "TOE" (Theory of everything-including-consciousness-and-person (as opposed to the TOE of the physicians which search to unify only what is observable and third person describable).
Marty, Kim, are you still there? Have you a problem with Cantor diagonal proof of the non enumerability of the set of functions from N to N (N^N)? Or do you prefer I explain this again in the sum up?