Le 26-sept.-07, à 14:40, Wei Dai a écrit :
> So where does this chain of thought lead us? I think UD+ASSA, while
> flawed,
> can serve as a kind of stepping stone towards a more general
> rationality.
I would suggest to use the Hal Finney "UDist" term, instead of UD for
helping the new people on the list to not confuse the UD = Universal
Dovetailer, with the UDist = Universal Distribution. But this is a
detail. Roughly speaking I agree with you.
> Somehow UD+ASSA is more intuitively appealing, whereas truly
> generalized
> rationality looks very alien to us. I'm not sure any of us can really
> practice the latter, even if we can accept it philosophically. But
> perhaps
> our descendents
> can.
This seems rather mysterious for me.
> One danger I see with UD+ASSA is we'll program it into an AI, and the
> AI will be forever stuck with the idea that non-computable phenomenon
> can't
> exist,
> no matter what evidence it might observe.
And this is still more mysterious. An "AI" as simple as the already
existing "Peano Arithmetic" has enough cognitive abilities to
understand that non-computable "phenomenon" have to exist (relatively
to itself).
I will say more when I come back on Church thesis.
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
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 Wed Sep 26 2007 - 09:52:56 PDT