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
--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu Nov 27 2008 - 18:12:53 PST