The limitations of Godelian completeness/incompleteness are a subset of the much stronger limitations of finite automata.
If you want to build a spaceship to go to mars it is of no practical relevance to think whether it is theoretically possible to move through wormholes in the universe. I think, this comparison is adequate to evaluate the role of Gödel's theorem for AGI. - Matthias Abram Demski [mailto:[EMAIL PROTECTED] wrote I agree with your point in this context, but I think you also mean to imply that Godel's incompleteness theorem isn't of any importance for artificial intelligence, which (probably pretty obviously) I wouldn't agree with. Godel's incompleteness theorem tells us important limitations of the logical approach to AI (and, indeed, any approach that can be implemented on normal computers). It *has* however been overused and abused throughout the years... which is one reason I jumped on Mark... --Abram ------------------------------------------- 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