Quoth Keith H Duggar:
> I'm not trying to have anything. I'm trying to understand what
> the "write DEF" prescription buys us over say the "Interactive
> Mathematical Proof System" of Farmer, Guttman, and Thayer that
> has exactly the property I described that any formula is false
> if any variable is NULL. Again, I am failing to grasp what the
> "write DEF" prescription buys us. I would like to understand.
In this system, how can you check whether a given variable actually is
NULL or not?
--
Jon
Received on Fri Aug 31 2007 - 03:44:13 CDT
