From: Robbie Lindauer (robblin@thetip.org)
Date: Wed Aug 27 2003 - 18:01:21 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
This archive was generated by hypermail 2.1.5 : Wed Aug 27 2003 - 18:10:29 MDT