Re: NULLs: theoretical problems?
Date: Fri, 31 Aug 2007 10:44:13 +0200
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?
-- JonReceived on Fri Aug 31 2007 - 10:44:13 CEST