On Thu, Jun 25, 2015 at 12:34 PM, J. Andrew Rogers <[email protected]> wrote: > >> On Jun 24, 2015, at 7:30 PM, Jim Bromer <[email protected]> wrote: >> >> I really still do not understand what you are getting at. Are you >> talking about 3-D cubes? Do you mean that there is some cool formula >> that uses some simple representation of the cube or something. I >> really cannot see what you are getting at. > > > Yes, I limited it to fixed dimension cubes to make it as simple as possible. > > If you do not have the computer science to solve that problem then you also > do not have the computer science to solve AGI. The general solution to this > problem is necessary, but not sufficient, to reason about the physical world. > This is useful because you can prove the capabilities of an AGI design > without proving that the design is actually AGI. > You propose a design, I immediately go through a list of computer science > problems that restrict capabilities and expressiveness to see which ones > apply. It is hard to ignore the basic computer science problems even if you > are in love with your design. > > I do the same thing for software that has nothing to do with AGI. It is the > fastest way to get at the heart of the matter without attacking the larger > claims.
But a child would not be able to solve the intersection of the cubes problem. In fact, few human beings would be able to. If the problem is (essentially) intractable (for pre-2010 computer scientists) as the number of cubes becomes too large then it would be intractable for human beings as well. So although I feel the same way about diagnosing various AGI theories, but I don't seem to share your certainty about it because there are always little errors in one's methods of going around the implications of the halting problem and foreseeing what is possible and what is impossible (even when the falsification is dependent on unproven theories). (Btw, I just thought about the intersection of the cubes problem and it looks like it is polynomial to me.) Jim Bromer ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
