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