KILLTHREAD -- Re: [agi] Logical Satisfiability

2008-01-20 Thread Ben Goertzel
Hi all, I'd like to kill this thread, because not only is it off-topic, but it seems not to be going anywhere remotely insightful or progressive. Of course a polynomial-time solution to the boolean satisfiability problem could potentially have impact on AGI (though it wouldn't necessarily do so

Re: KILLTHREAD -- Re: [agi] Logical Satisfiability

2008-01-20 Thread Jim Bromer
I am disappointed because the question of how a polynomial time solution of logical satisfiability might affect agi is very important to me. Jim Bromer Ben Goertzel [EMAIL PROTECTED] wrote: Hi all, I'd like to kill this thread, because not only is it off-topic, but it seems not to be going

Re: KILLTHREAD -- Re: [agi] Logical Satisfiability

2008-01-20 Thread Ben Goertzel
On Jan 20, 2008 2:34 PM, Jim Bromer [EMAIL PROTECTED] wrote: I am disappointed because the question of how a polynomial time solution of logical satisfiability might affect agi is very important to me. Well, feel free to start a new thread on that topic, then ;-) In fact, I will do so: I will