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


__________________________________________________
Do you Yahoo!?
Yahoo! Web Hosting - Let the expert host your site
http://webhosting.yahoo.com
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to