On Mon, Jan 12, 2015 at 9:14 PM, Jim Bromer via AGI <[email protected]> wrote: > The thing that makes AGI so elusive is that there is no solution to > massive multiple strand computational complexity. I believe that the > lack of a polynomial time solution to Logical Satisfiabiity is the > best bet toward resolving the problem in the near future and I believe > that it is the explanation of why AI did not get stronger faster.
I disagree for two reasons. First, there is no evidence that the brain can solve any NP-complete problems in polynomial time. Second, even if P = NP, then it would not help us solve hard AI problems like vision, language, robotics, art, and modeling human behavior, because none of these are known to be in NP (meaning that a solution can be verified in polynomial time). > There was no reason for mathematicians to solve the problem until the > invention of computers. I believe that Leonhard Euler discovered a SAT > problem in the 19th century with his study of "the Seven Bridges of > Konigsberg" (which Wikipedia points out was the first problem in graph > theory,) but it is not clear that he fully understood the > pervasiveness or potential of the extent of the problem. Of course > Turing wrote about the SAT problem in 1936, and that was the first > time the problem was laid out for the few people who could understand > it. It wasn't until 1971 the Cook-Levin theorem first proved that SAT was NP-complete. > A polynomial time solution to SAT is almost certainly possible. It is > just a matter of time. Or we may prove P != NP. > The evidence that consciousness is necessary > for (actual) intelligence is not (really) based on science because > science cannot explain the phenomena. (I accept the use of speculation > in science as being part of science but, come on...) Depending on how you define consciousness, it can either be explained as a neural process, or there is nothing that needs explaining. -- -- Matt Mahoney, [email protected] ------------------------------------------- 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
