Excluded and other middles in licensing

[Paul Rubin]

Robert Kern <rkern at ucsd.edu> writes:
> > http://en.wikipedia.org/wiki/Closed_source
> > "any program whose licensing terms do not qualify as open source".
> 
> A definition with a nice big "This article may need to be reworded to
> conform to a neutral point of view" warning at the top. ;-)
> ...
> There seems to be such an edit on the way:
> http://en.wikipedia.org/wiki/Talk:Closed_source

After they're done defining closed source, maybe they can work on
"compact source" (a bounded closed-source program, i.e. one that,
unlike Windows, doesn't try to take over every computer in the world).
Note also from the Heine-Borel theorem that every closed source
program can be covered by some finite collection of open source
programs.