> So, people do have a practically useful way of cheating problems in NP > now. Problem with AGI is, we don't know how to program it even given > computers with infinite computational power.
Well, that is wrong IMO.... AIXI and the Godel Machine are provably correct ways to achieve AGI with infinite (or even huge finite) computational power. Furthermore, if we assume humongous computational power, the Novamente design becomes a lot simpler ... almost but not quite as trivial as AIXI or the Godel machine... The whole AGI problem is about coping with seriously bounded computational resources ... as has been pointed out on this list soooo many times ... and as Eric Baum argues quite elegantly (among other points) in What Is Thought? ben -- Ben Goertzel, PhD CEO, Novamente LLC and Biomind LLC Director of Research, SIAI [EMAIL PROTECTED] "We are on the edge of change comparable to the rise of human life on Earth." -- Vernor Vinge ----- 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/?member_id=8660244&id_secret=88042864-3133e9
