Paul Rubin <http://[EMAIL PROTECTED]> 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 -- http://mail.python.org/mailman/listinfo/python-list
