Boost logo

Boost :

From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2002-11-15 17:38:48


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

__________________________________________________
Do you Yahoo!?
Yahoo! Web Hosting - Let the expert host your site
http://webhosting.yahoo.com


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