Path: csiph.com!usenet.pasdenom.info!weretis.net!feeder4.news.weretis.net!feeder2.ecngs.de!ecngs!feeder.ecngs.de!Xl.tags.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!local2.nntp.ams.giganews.com!nntp.bt.com!news.bt.com.POSTED!not-for-mail NNTP-Posting-Date: Sun, 22 Apr 2012 04:07:29 -0500 From: "Chris Uppal" Newsgroups: comp.ai.philosophy,comp.programming References: <1jwvj1x0ayc05.ytcz87k1p1x4.dlg@40tude.net> <20120330115603.995$Tx@newsreader.com> <1nljofqkiunhy.fh7hmq7tvocq.dlg@40tude.net> Subject: Re: Towards true A.I. Date: Sun, 22 Apr 2012 10:03:56 +0100 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5512 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5512 Message-ID: Lines: 22 X-Usenet-Provider: http://www.giganews.com X-AuthenticatedUsername: NoAuthUser X-Trace: sv3-soNWchdDNF//07OK6koDhbbJeMvcpQ4daFO49+WDv+hPEzx3io+6+XEj4C7PDOaXgJtA8vyrEZVMGvl!rKhCli/sibAAQXmkMgZnSRR5Dlb+oIILe6B9+H9QPBNAMThCqvkSJM0jZ3FaSPpSVrhLOZTYl7Q= X-Complaints-To: abuse@btinternet.com X-DMCA-Complaints-To: abuse@btinternet.com X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2185 Xref: csiph.com comp.ai.philosophy:3764 comp.programming:1492 Robert Maas, http://tinyurl.com/uh3t wrote: > Or maybe all we need to do is devise a good genetic algorithm for > breeding algorithms that accomplish each of the steps I outlined > above, and let the fastest "cloud" computing system in the world > run this genetic algorithm during all otherwise idle moments, > whereupon it might achieve these A.I. research results faster than > humans could. People following this thread, who are not already aware of it, might be interested in Jürgen Schmidhuber's work: http://www.idsia.ch/~juergen/ In particular, his concept of "Gödel machines": http://www.idsia.ch/~juergen/goedelmachine.html From that page: "Goedel machines are self-referential universal problem solvers making provably optimal self-improvements." -- chris