Quoting Bruno Marchal: "UDA shows that physics is determined by a relative measure on computations. If this leads to predict that electron weight one ton then mechanism is disproved. UDA shows that physics is entirely reduce to computer science/number theory in a very specific and unique way (modulo a variation on the arithmetical definition of knowledge)."

Bruno--could you please elaborate on this? It's a claim you've (credibly) made many times, and it would be useful to go the next step. I understand that the UDA argument and first-person indeterminacy demonstrates that there are an infinite number of paths through the execution of the UDA that may result in the present 1-pov experience. Since physics, when described from a 1-pov, is merely (!) the explanation of the regularities in those 1-povs, it should be possible to mathematically translate from "computational steps of the UDA" to "laws of physics." One of the best-confirmed formulations of physics has been quantum mechanics. And indeed, as far as I can tell, QM does not contradict your theory--but how would QM "emerge" from your more fundamental notions of computationalism and mechanism? Is this the forefront of your theory, or has work been done to reduce the explanatory gap between, say, modal logics and the Schrodinger equation? Let me ask this in a very different way. Suppose you had at your disposal the a fixed but large amount of funding and researchers to pursue a reformulation of QM based on the work you've done so far. How would you organize the effort? What would you prioritize first? What sub-portions of your theory would be amenable to be parceled out as individual problems to go off and solve? No pressure :-) Johnathan Corgan -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.