--- On Sat, 10/18/08, Abram Demski <[EMAIL PROTECTED]> wrote: > Non-Constructive Logic: Any AI method that approximates AIXI > will lack the human capability to reason about non-computable > entities.
Then how is it that humans can do it? According to the AIXI theorem, if we can do this, it makes us less able to achieve our goals because AIXI is provably optimal. Exactly what do you mean by "reason about" non-computable entities? Do you claim that a computer could not discover a proof of Goedel's incompleteness theorem by brute force search? -- 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
