No, because it has no meaning -- at least in a model theoretic sense.
It could (reasonably) be argued that "Colorless green ideas sleep
furiously" has meaning, but it would be incoherent to say the terms
in this sentence could denote anything (just as it is incoherent to
say that a number is both even and odd).
===
Gregory Woodhouse
[EMAIL PROTECTED]
"Nothing is as powerful than an idea
whose time has come."
-- Victor Hugo
On Sep 6, 2005, at 7:01 PM, Jim Self wrote:
but not restricting x to a numeric type can lead to nonsense
operations
like trying to add 1 to to true (or a string).
Why do you assert that 1 + true is nonsense? Just because it is not
allowed in some
programming languages?
-------------------------------------------------------
SF.Net email is Sponsored by the Better Software Conference & EXPO
September 19-22, 2005 * San Francisco, CA * Development Lifecycle Practices
Agile & Plan-Driven Development * Managing Projects & Teams * Testing & QA
Security * Process Improvement & Measurement * http://www.sqe.com/bsce5sf
_______________________________________________
Hardhats-members mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hardhats-members
