--- On Tue, 10/28/08, Ben Goertzel <[EMAIL PROTECTED]> wrote: > What Hutter proved is (very roughly) that given massive computational > resources, following Occam's Razor will be -- within some possibly quite > large constant -- the best way to achieve goals in a computable environment... > > That's not exactly "proving Occam's Razor", though it is a proof related to > Occam's Razor...
No, that's AIXI^tl. I was talking about AIXI. Hutter proved both. > One could easily argue it is totally irrelevant to AI due to its assumption > of massive computational resources If you mean AIXI^tl, I agree. However, it is AIXI that proves Occam's Razor. AIXI is useful to AGI exactly because it proves noncomputability. We can stop looking for a "neat" solution. -- Matt Mahoney, [EMAIL PROTECTED] ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34 Powered by Listbox: http://www.listbox.com
