Linked by Thom Holwerda on Sun 17th Jul 2011 20:58 UTC, submitted by fran
Linux It's strange. Microsoft has been patent trolling the heck out of the Linux kernel for a long time now, and is still using these patents against Android today in its protection money scheme. However, as LWN.net illustrates, Microsoft makes quite a few contributions to the Linux kernel. Shouldn't this invalidate their patent claims?
Thread beginning with comment 481498
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE[4]: Logic
by Finalzone on Tue 19th Jul 2011 05:25 UTC in reply to "RE[3]: Logic"
Finalzone
Member since:
2005-07-06

To say that software is math doesn't really tell the whole story, though. In this sense, the word "Math" is being used in two different ways. The "Math" that is discovered (and thus not patentable) is the kind that tells us things about orders of infinity, and the countability of natural numbers.


Computer Science 101: software is just multiple binaries (0 and 1) i.e. abstract in this case therefore part of math. For example, show a word processor, a music, a movie in palpable form without any medium.

Edited 2011-07-19 05:26 UTC

Reply Parent Score: 4

RE[5]: Logic
by saynte on Tue 19th Jul 2011 05:36 in reply to "RE[4]: Logic"
saynte Member since:
2007-12-10

Software is an arrangement of 0s and 1s; a car is just an arrangement of metal and rubber. I think the question should be: was the arrangement found, or built?

Proper mathematics is found, but software is most definitely built.

Reply Parent Score: 1

RE[6]: Logic
by lemur2 on Tue 19th Jul 2011 06:05 in reply to "RE[5]: Logic"
lemur2 Member since:
2007-02-17

Software is an arrangement of 0s and 1s; a car is just an arrangement of metal and rubber. I think the question should be: was the arrangement found, or built? Proper mathematics is found, but software is most definitely built.


Anything which requires an author or other type of artisan is "built". Why on earth should software alone be patentable, just because it uses math as its working medium?

Reply Parent Score: 3

RE[6]: Logic
by Alfman on Tue 19th Jul 2011 06:23 in reply to "RE[5]: Logic"
Alfman Member since:
2011-01-28

saynte,

"Software is an arrangement of 0s and 1s; a car is just an arrangement of metal and rubber. I think the question should be: was the arrangement found, or built? Proper mathematics is found, but software is most definitely built."

I don't agree with your distinction.

You may not be aware of this, but in computer science discrete mathematics courses, we do study how to apply mathematical concepts like induction towards computer algorithms.

If an algorithm is patented, and a developer can prove that the algorithm is mathematically derivable, then would you say the algorithm patent should be invalidated? It is sort of a trick question, since every algorithm is mathematically derivable, given adequate specification.

I'd go as far as to say a genuine distinction between mathematical and computer algorithms is blurred to the point of non-existence seeing as one can clearly be translated to the other (within physical constraints of the machine).

Could you elaborate on a fundamental difference?


Given the same problem, many developers will come up with overlapping algorithms. You may say "oh just use a different algorithm", but now developers are wasting their time in search for algorithms with less desirable properties in order to satisfy a patent holder's monopoly. Considering that many patent holders deliberately file dozens of variations on the same idea to deliberately block other implementations, it's no wonder honest developers are pissed off with software patents.

Edited 2011-07-19 06:24 UTC

Reply Parent Score: 4