Shmuel wrote: | Well, (*FAIL) is experimental, but what about (?!)?
and he has the right idea. What is needed is a substantive contradiction, one, say, of the logical form ¬(a | ¬a) a & ¬a that is not so obvious that simple consistency checks catch it. The merely improbable---Something akin to an SQL query of a personnel data base that seeks bilingual Icelandic and Urdu speakers---is not good enough because parochial. Exxon chose its name in part because the roman-alphabet sequence 'xx' is very rare in most natural languages and transliterations, but it turned out to be common in Maltese. John Gilmore, Ashland, MA 01721 - USA ---------------------------------------------------------------------- For IBM-MAIN subscribe / signoff / archive access instructions, send email to [email protected] with the message: INFO IBM-MAIN
