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

• Previous message (by thread): Excluded and other middles in licensing
• Next message (by thread): Excluded and other middles in licensing
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

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) ...?


Alex

---

• Previous message (by thread): Excluded and other middles in licensing
• Next message (by thread): Excluded and other middles in licensing
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

More information about the Python-list mailing list