Re: join post

From: Russell Standish <lists.domain.name.hidden>
Date: Fri, 28 Nov 2008 20:27:07 +1100

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         	         hpcoder.domain.name.hidden
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 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 Fri Nov 28 2008 - 20:01:33 PST