Boost logo

Boost :

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")

Regards,

Terje


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk