Re: A sad thread - RMS vs. OpenBSD

[Tony Abernethy]

Duncan Patton a Campbell wrote:
> 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?
> 
Euclidean and ono-Euclidian geometries should suffice.