Wei Dai wrote: > > I'm curious about a couple of other things. How many people in the world > claim to understand AUDA? How did you get interested in provability logic? >
I claim to understand it, and believe it demonstrates a necessity for first person indeterminancy in a 3rd person determinate universe... It doesn't rest on knowledge of modal logic... Modal logic is used to derive a form of Schroedinger's equation from the particular COMP hypothesis put forward by Bruno. As best I can work it out, Bruno shows that an appropriate formalisation of knowledge generates a logic system that has been identified by someone else as "Quantum Logic". Unfortunately, I failed to see how knowledge could be formalised, although I appreciate (after some discussions with Bruno) that there is a long tradition of doing this sort of thing going back to the Ancients. I am also not familiar with literature of "Quantum Logic" to know precisely what the result entails. However, I do know that starting with a very similar (although I would venture to say marginally more general) hypothesis, I was able to generate the concrete form of Quantum Theory, without the need of modal logic, rather just some elementary notions of set theory and probability. I don't know what this result really entails - it could be that QM, as a theory, has very little content! This, as you know, is written up in "Why Occam's Razor", which has now been rejected from its 4th journal, without much of a concrete criticism. I am appreciating, with full force, Kuhnian dynamics! I should mention, parenthetically, that I do assume the Anthropic Principle, something which Bruno has misgivings about. But, so far, this has been the only real criticism of the work. ---------------------------------------------------------------------------- Dr. Russell Standish Director High Performance Computing Support Unit, Phone 9385 6967, 8308 3119 (mobile) UNSW SYDNEY 2052 Fax 9385 6965, 0425 253119 (") Australia [EMAIL PROTECTED] Room 2075, Red Centre http://parallel.hpc.unsw.edu.au/rks International prefix +612, Interstate prefix 02 ----------------------------------------------------------------------------