An interesting question for me now is when the comparative
inefficencies of the AIXItl algorythms will become irrelevant due to
ever decreasing cost and availability of computational resources.
It won't. Basically AIXI and suchlike work by exhaustive search of the space of all possible programs and/or proofs for ones that meet certain criteria, so the up front cost is exponentially large; for anything of nontrivial complexity it's going to be one of those "much larger than the number of atoms in the visible universe" figures. In other words such algorithms will never be useful, Moore's Law notwithstanding.
This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/[EMAIL PROTECTED]
