Showing posts with label tex. Show all posts
Showing posts with label tex. Show all posts

30 July 2007

Patron Saint of Computing Against Software Patents

If computing has a patron saint, it is the great and amazing Donald Knuth. Put another way, he is the god of computer algorithms, so I was particularly pleased to come across this definitive statement on their patentability:

In the period 1945-1980, it was generally believed that patent law did not pertain to software. However, it now a ppears that some people have received patents for algorithms of practical importance--e.g., Lempel-Ziv compression and RSA public key encryption--and are now legally preventing other programmers from using these algorithms.

This is a serious change from the previous policy under which the computer revolution became possible, and I fear this change will be harmful for society. It certainly would have had a profoundly negative effect on my own work: For example, I developed software called TeX that is now used to produce more than 90% of all books and journals in mathematics and physics and to produce hundreds of thousands of technical reports in all scientific disciplines. If software patents had been commonplace in 1980, I would not have been able to create such a system, nor would I probably have ever thought of doing it, nor can I imagine anyone else doing so.

I am told that the courts are trying to make a distinction between mathematical algorithms and nonmathematical algorithms. To a computer scientist, this makes no sense, because every algorithm is as mathematical as anything could be. An algorithm is an abstract concept unrelated to physical laws of the universe.

Nor is it possible to distinguish between "numerical" and "nonnumerical" algorithms, as if numbers were somehow different from other kinds of precise information. All data are numbers, and all numbers are data. Mathematicians work much more with symbolic entities than with numbers.

Therefore the idea of passing laws that say some kinds of algorithms belong to mathematics and some do not strikes me as absurd as the 19thcentury attempts of the Indiana legislature to pass a law that the ratio of a circle's circumference to its diameter is exactly 3, not approximately 3.1416. It's like the medieval church ruling that the sun revolves about the earth. Man-made laws can be significantly helpful but not when they contradict fundamental truths.

Congress wisely decided long ago that mathematical things cannot be patented. Surely nobody could apply mathematics if it were necessary to pay a license fee whenever the theorem of Pythagoras is employed. The basic algorithmic ideas that people are now rushing to patent are so fundamental, the result threatens to be like what would happen if we allowed authors to have patents on individual words and concepts. Novelists or journalists would be unable to write stories unless their publishers had permission from the owners of the words. Algorithms are exactly as basic to software as words are to writers, because they are the fundamental building blocks needed to make interesting products.

Amen to that. (Via Coding Horror.)

13 July 2007

The Word on the (Dutch) Street: OpenTaal

This is obviously good news, but I can't help finding the idea of an "official" spelling list rather quaint:

The OpenTaal project (Dutch for "OpenLanguage") has published the first open source word list to be certified by the Dutch Language Union as corresponding to official spelling. Simon Brouwer, project leader of OpenTaal, says, "This is a milestone. Users of open source software can trust their Dutch spell checker now. They have the guarantee that their word list is consistent with the official spelling."

...

In 2005, the Dutch language area got new spelling, which consists mainly of corrections to the spelling of 1995. Starting in August 2006, the new spelling would be mandatory for the government and schools. This revived the project of creating an open source word list. At the end of 2005 the Dutch government program Open Standards and Open Source Software (OSOSS) initiated the OpenTaal project to coordinate the various Dutch open source projects that had an interest in the new spelling, with the aim of developing a Dutch word list conforming to the new spelling. This would give users of open source software like OpenOffice.org, TeX, Thunderbird, and Firefox an up-to-date spell checker. OSOSS contacted the Dutch Language Union, which agreed to assist the project.