So I guess I would apply a goedel machine by looking at http request and response or sql*net request and response. Is there a goedel machine that work on 2 inputs and 2 outputs, or do you just label them, reducing the number of inputs and outputs? On Sep 5, 2013 12:22 PM, "John Carlson" <[email protected]> wrote:
> > 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
