Re: A sad thread - RMS vs. OpenBSD

[Duncan Patton a Campbell]

On Sun, 6 Jan 2008 22:21:14 -0500
"Eliah Kagan" <[EMAIL PROTECTED]> wrote:

> (There are also multiple useful,
> mutually-inconsistent formal systems in both fields.)

Provably so?

Dhu