On Mon, Jun 16, 2008 at 5:34 PM, Abram Demski <[EMAIL PROTECTED]> wrote: > I previously posted here claiming that the human mind (and therefore > an ideal AGI) entertains uncomputable models, counter to the > AIXI/Solomonoff model. There was little enthusiasm about this idea. :) > Anyway, I hope I'm not being too annoying if I try to argue the point > once again. This paper also argues the point: > > http://www.osl.iu.edu/~kyross/pub/new-godelian.pdf > > The paper includes a study of the uncomputable "busy beaver" function > up to x=6. The authors claim that their success at computing busy > beaver strongly suggests that humans can hypercompute. >
They refer to Rado's busy beaver original problem and even quote him about the hardness of the busy beaver problem for larger n. However, the paper authors do the 4-tuple version of TMs (EITHER move OR write a new symbol). Those TMs need more states to do the same work as the 5-tuple ones. Rado's original bb formalism is 5-tuple. They haven't therefore solved any busy beaver as originally formulated but a tailor-made version. The current know values of the bb remain as before the paper up to 4 states. This is a second flaw of the paper from my point of view, (besides my objection already made before) considering that their whole argument is based on the empirical fact they were able to calculate a bb greater than 4... (and then the whole argument about being able to calculate n+1). ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=106510220-47b225 Powered by Listbox: http://www.listbox.com
