Imagine if Pythagoras, Leibniz, and Newton were able to receive patents for their formulas. What if the quadratic formula was patented? In fact, why not?
Actually, I retract that argument. The average software patent nowadays does not even begin to approach the caliber of the aforementioned discoveries.
And that is why there are no software patents in Poland - software is math. In fact every software ever created could be written as math formula in lambda calculus.
Side effects are included in the absurd legal-patent-weaving language, to get around the pesky thou-shalt-not-patent-abstract-or-natural-ideas rule, but the side effects are not germane to the patent.
There is a logical dilemma with allowing patents based on software side-effects.
Patent attempt #1 is some computation made to effect side effect A.
Patent attempt #2 is the same computation made to effect side effect B.
If you grant both patents, you have acknowledged that the computation is irrelevant to the patent. The side effect, which is often the goal that was set out to be achieved through computation, is not a secret in need of patent protection to encourage public disclosure, so the patent rationale fails.
If you grant only the first patent, you claim that the computation in part affects the novelty of patents, therefore the novelty of math affects the novelty of patents.
This is taken to the extreme where the non-math portion of a patent is a general purpose computer. The meaningful parts of a patent are the math. The general-purpose computer that handles all the side effects is necessary, but uninteresting, and not in the least bit novel.
Most of the time, specific side effects aren't even mentioned in the patents. Here's an MP4-related patent:
The patent, like other software patents, tries to tie the completely functional core (mathematical) idea to a physical computer, but what the trick amounts to is
any arbitrary math function + specification of a general purpose computer + money => patent
(insofar as the math function is novel and not trivial in the opinion of a patent examiner)
I would argue that Math does have side effects: it runs on mathmaticians brains.
After all math is a chain of logical equivalencies based on a set of axioms (I'm not a mathmatician so that is most probably not a very complete definition). Every computer can trivially spit out many, many such logical equivalencies - what makes math interesting is the human factor:
www.xamuel.com/mathematics-objective-or-subjective/
Mathmaticians are doing this incredibly well, when you think of the fact that a lot of math was discovered decades before its applications. The idea that maths is somehow completely decoupled from the guys 'running it' seems slightly false to me.
You could obviously argue that brains are not computers, but then you'll find yourself in an argument with a lot of angry singularists.
Please don't downvote me if I'm completely wrong, this is partially fishing for an interesting argument.
I suppose you never learned about monads and monoids.
But seriously: what is patentable in video codecs? Isn't it just math function? Give input in the domain of function and you get output.
Beside side-effects are only reading input and writing output - nothing else is side-effect. We already figured I/O almost 50 years ago - nothing novel here (the moment you get touchscreens is the moment kbd on touchscreen is created as it is obvious)
> But seriously: what is patentable in video codecs? Isn't it just math function? Give input in the domain of function and you get output.
It's akin to asking "what is patentable in a medication; it's just a chemical formula, a diagram on paper".
It's a function satisfying non-trivial constraints, like: size of the output should be smaller than the size of the input [ideally, ratio is adjustable by the user]; regardless of the quality ratio, the output should be similar to the input [really, how do you define "similarity"? -- simple RMS difference won't do]; etc, etc.
Finding such a function is a rather big research endeavour, and IF it has been privately funded, then by all means, there should be away to ensure that the researcher(s) have exclusive rights to the exploitation of their results.
I agree though that the patent system is very faulty, but I am NOT for totally abolishing mechanisms for IP protection.
In many countries (India for example) medication itself is not patentable - but means of its production are.
There are many mathematical functions that have to satisfy non-trivial constraints and none of them are patentable. Why is it so that when you change the domain of use for function from one branch of math to another (CS is branch of math too) you suddenly can patent it?
I'm NOT for totally abolishing IP protection but there are things that shouldn't be patented, especially in very innovating areas of industry (i.e. what is patented today in CS in next 5 years will be obvious thing... while protection will last for 20, thus stifling innovation)
Actually, I retract that argument. The average software patent nowadays does not even begin to approach the caliber of the aforementioned discoveries.