On Sat, Jun 04, 2016 at 07:53:47PM +0200, Bruno Marchal wrote: > > On 04 Jun 2016, at 03:17, Russell Standish wrote: > > > > >>Only a measure on the existing computations. > >>Of course, all this list is based on the idea that the overall > >>theory should be simple (like RA), but even without notion of > >>observers, such simple theory admit a rich third person theory of > >>complexity. > > > >I still don't see it. > > You can prove the existence of the observer in the theory RA. It is > the proof of the existence of the universal machine and of their > computations. RA is already sigma_1 complete. If ZF proves the > Riemann hypothesis, then RA will prove that ZF proves Riemann > hypothesis (despite RA itself cannot even prove that 0 + x = x). > > We don't need to assume more than RA or the SK axioms. 3p Observers > are defined in such theories. They are richer and more complex than > RA. >
This is close to the crux of out disagreement. Yes of course by assumption observers can be defined in RA by finding the right machine. However, what the observers observe is not defined in RA, but rather emerges out of RA. I see that RA itself is a fairly simple thing, and the UD even simpler for that matter, but emerging out of it are 1p experiences that are complex, and complexify over time via an evolutionary process. The complexity is not innate to the platonic realm as you state. It emerges out of it by considering 1p experience. My fairly strong claim is that this is the only way complexity can arise. Cheers -- ---------------------------------------------------------------------------- Dr Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Senior Research Fellow [email protected] Economics, Kingston University http://www.hpcoders.com.au ---------------------------------------------------------------------------- -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
