I guess the Godel Theorem is called a theorem, so Solomonoff Induction would be called a theorem. I believe that Solomonoff Induction is computable, but the claims that are made for it are not provable because there is no way you could prove that it approaches a stable limit (stable limits). You can't prove that it does just because the sense of "all possible programs" is so ill-defined that there is not enough to go on. Whether my outline of a disproof could actually be used to find an adequate disproof, I don't know. My attempt to disprove it may just be an unprovable theorem (or even wrong).
Jim Bromer ------------------------------------------- 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=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
