From: Ben Goertzel (ben@goertzel.org)
Date: Sat Jan 25 2003 - 14:26:52 MST
> On Sat, Jan 25, 2003 at 02:54:42PM -0500, Ben Goertzel wrote:
> > I agree that a radically different approach to programming would help
> > a lot.
> >
> > And I have a candidate for such an approach: Supercompilation. See
> > www.supercompilers.com.
>
> " The supercompiler does something different: it mathematically models
> the source code and creates wholly new source code implementing the same
> function as the original source, but in a much more efficient way. "
>
> Ummm.... Isn't that equivalent in complexity to the halting problem?
>
> -Robin
The claim is not that the supercompiler can improve ANY program optimally,
simply that it can improve nearly all real-world programs substantially...
-- Ben
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:41 MDT