>From: "Gennaro Prota" <[EMAIL PROTECTED]> > --- David Abrahams <[EMAIL PROTECTED]> wrote: > > Gennaro Prota <[EMAIL PROTECTED]> writes: > > > > Who knows? When I encounter these sorts of situations I dream a > > > standard where propositions can be demonstrated like in mathematics or > > > counter-examples provided. Don't you? > > > > Yeah, but then I start dreaming of programs which can read my > > questions in English and produce a mathematical proof for me <wink>. > > By no means! I can never dream of a program that steals all my fun :-)
Not at all. Someone has to make the system that is capable of this. :) "I would rather write programs to help me write programs than write programs." - Dick Sites (Quoted in "Generative Programming") Regards, Terje _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
