> For me, the key formal question is whether they will come up with useful > methods that go beyond algorithms (and even languages), because I > believe that's necessary for the more interesting problems in AI.
I think one way to do it is to go to... Quantum Probability Theory and Quantum Logic: http://plato.stanford.edu/entries/qt-quantlog/ --Mikhail -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of glen e. p. ropella Sent: Friday, December 11, 2009 1:28 PM To: The Friday Morning Applied Complexity Coffee Group Subject: Re: [FRIAM] Rethinking artificial intelligence Quoting Owen Densmore circa 09-12-11 09:58 AM: > All this translates to the more simple statement that computers cannot > solve all problems. > > Note: The proof simply shows that the set of all sets of strings > (languages) is uncountable, while the set of algorithms is countable. > > So the key formal question the Mind Machine Project, or MMP, must start > with is whether or not the scope of their research is within the scope > of algorithms. I have to claim that the scope of their research is definitely NOT within the scope of algorithms. And I have to argue with your simplification a bit. Just because a single language cannot "solve" some problem doesn't mean a composition of languages can't "solve" that problem. Further, computers are (luckily) unfaithful instantiations of languages, in spite of all the effort we morlocks put into them. So, just because a language implemented by a computer cannot "solve" a given problem does not mean that the computer can't "solve" that problem. For me, the key formal question is whether they will come up with useful methods that go beyond algorithms (and even languages), because I believe that's necessary for the more interesting problems in AI. -- glen e. p. ropella, 971-222-9095, http://agent-based-modeling.com ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org
