I guess I haven't read those papers, so sorry if I was leading you up the garden path re GTMs.
It sounds interesting that the universal prior could work for generalisation of the Turing machine, although I'm not sure what the implications would be. Anyway, it sounds like you've got a research programme :) Cheers On Thu, Nov 27, 2008 at 06:12:49PM -0500, Abram Demski wrote: > > Russel, > > The paper does indeed showcase one example of a universal prior that > includes non-computable universes... Theorem 4.1. So it's *possible*. > Of course it then proceeds to dash hopes for a universal prior over a > broader domain, defined by GTMs. So, it would be interesting to know > more about the conditions that make universality possible. > > --Abram > > -- ---------------------------------------------------------------------------- A/Prof Russell Standish Phone 0425 253119 (mobile) Mathematics UNSW SYDNEY 2052 [EMAIL PROTECTED] Australia http://www.hpcoders.com.au ---------------------------------------------------------------------------- --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [EMAIL PROTECTED] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---
