[darcs-users] darcs patch: relicense Darcs.Commands.GZCRCs as BSD3

[Stephen J. Turnbull]

Gwern Branwen writes:

 > 1. Any copyrighted work can be represented as a number, x

Starting from a false premise, of course you can derive a
contradiction.

A copyrighted work is not a mathematically defined entity, like the
current definition of the meter in terms of the number of wavelengths
of light emitted by a specific electron state transition.  It is
defined with reference to a unique physical embodiment, as in the
original definition of the meter as the distance between two scratch
marks on a particular bar of platinum-iridium alloy in a vault in
Paris.[1]

The scope of copyright is the transitive closure of works created by
copying (in a fuzzy but well-defined sense) or performing the
copyrightable portions of that original work.


Footnotes: 
[1]  The scope of a patent, on the other hand, includes any physical
entity that embodies the description presented in the patent, whether
or not it is a copy.