Re: Formal proved code change vs experimental was Re: [agi] WHAT SORT OF HARDWARE $33K AND $850K BUYS TODAY FOR USE IN AGI

2008-07-07 Thread William Pearson
2008/7/3 Steve Richfield [EMAIL PROTECTED]: William and Vladimir, IMHO this discussion is based entirely on the absence of any sort of interface spec. Such a spec is absolutely necessary for a large AGI project to ever succeed, and such a spec could (hopefully) be wrung out to at least avoid

Re: [agi] the uncomputable

2008-07-07 Thread Linas Vepstas
2008/7/2 Hector Zenil [EMAIL PROTECTED]: Hypercomputational models basically pretend to take advantage from either infinite time or infinite space (including models such as infinite resources, Zeno machines or the Omega-rule, real computation, etc.), from the continuum. Depending of the

Intelligence explosion [was Fwd: [agi] Equivalent of the bulletin for atomic scientists or CRN for AI?

2008-07-07 Thread Linas Vepstas
Reposting, sorry if this is a dupe. --linas -- Forwarded message -- 2008/6/22 William Pearson [EMAIL PROTECTED]: Well since intelligence explosions haven't happened previously in our light cone, it can't be a simple physical pattern, so I think non-exploding intelligences

[agi] Larrabee - Intel's Response to Nvidia's GPU Platform

2008-07-07 Thread Brad Paulsen
Hi Kids! http://www.custompc.co.uk/news/602910/rumour-control-larrabee-based-on-32-original-pentium-cores.html# Cheers, Brad --- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/

Re: [agi] the uncomputable

2008-07-07 Thread Hector Zenil
On Mon, Jul 7, 2008 at 5:44 PM, Linas Vepstas [EMAIL PROTECTED] wrote: 2008/7/2 Hector Zenil [EMAIL PROTECTED]: Hypercomputational models basically pretend to take advantage from either infinite time or infinite space (including models such as infinite resources, Zeno machines or the