On Sep 5, 2013 11:57 AM, "David Barbour" <[email protected]> wrote: > > > On Thu, Sep 5, 2013 at 9:41 AM, John Carlson <[email protected]> wrote: >> >> Has anyone done research on improving programs? I know of some where you try to find bugs in programs. What about actually detecting and replacing or improving algorithms? > > Juergen's work on the Goedel machine seems related.
I had stumbled upon Juergen's page a few years ago. Thanks for the reminder. I'm still trying to figure out how to apply it.
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
