From: Emlyn O'regan (oregan.emlyn@healthsolve.com.au)
Date: Wed Aug 27 2003 - 18:50:24 MDT
> This in combination with WAP-based access is going to make testing
> impossible.
>
> On Wednesday, August 27, 2003, at 10:23 AM, Robert J. Bradbury wrote:
>
> > I've tried to get in touch with the manager of the project
> > so I could give them some high praise, but google appears
> > to have their phone "firewalls" set too high. I've done a
> > couple of *really* cool programming tasks in my life -- it would
> > be nice to let the people responsible for the calculator
> > know that what they have done is *really* cool.
>
> If you do get in touch with them, try to get them to include logic,
> metalogic, number-theory and proof-theory!
>
> Wouldn't it be great to have a machine which could give proofs for
> completeness given a set of axioms and inference rules and/or give a
> set of axioms/inference rules given a set of truth tables.
>
>
> R
Urm, you'd better put friendliness in there, too :-)
Emlyn
This archive was generated by hypermail 2.1.5 : Wed Aug 27 2003 - 19:00:39 MDT