From: Terje Slettebø (tslettebo_at_[hidden])
Date: 2002-11-15 18:14:12
>From: "Gennaro Prota" <gennaro_prota_at_[hidden]>
> --- David Abrahams <dave_at_[hidden]> wrote:
> > Gennaro Prota <gennaro_prota_at_[hidden]> 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")
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk