|
|
|
|
|
by akersten
2121 days ago
|
|
Short & sweet: Software is just lambda calculus, and the USPTO has already decided math cannot be patented. It is bizarre they would make such a gigantic oversight. Longer and more pedestrian: Computers are a sandbox that we've created ourselves. Programs are just a set of instructions to tell the computer what to do, and every possible thing a computer can do is already known and limited by the sandbox we have designed. To claim that a certain set of instructions causes the computer to do something more novel than any other is nonsense. It's all just moving bits around. Down with software patents. |
|
The incompleteness theorem (and a few others) define the boundaries of what a computer can do, but defining the boundary of a space and exploring it's interior are entirely separate endeavours. Some types of computer programs are harder to write than others, and some have more interesting effects than others. It's not unreasonable to use the patent system to reward explorers for finding the interesting parts of that space, just as inventors explore to find interesting parts of the space of all possible mechanisms.
The real problem is that the rules of our patent system are pretty broken for software patents, and the USPTO is terrible at finding and understanding prior art in practice.