Excluded and other middles in licensing

Alex Martelli aleaxit at yahoo.com
Fri Jan 7 05:45:08 EST 2005

Paul Rubin <http://phr.cx@NOSPAM.invalid> wrote:

> Note also from the Heine-Borel theorem that every closed source
> program can be covered by some finite collection of open source
> programs.

Every _compact_ one, surely?  Quoting by heart from old memories, but,
isn't Heine-Borel about (being able reduce any open covering of X to a
finite subcovering) <-> (X is compact) ...?


More information about the Python-list mailing list