| Thanks much for your reply. Turing’s application of Godel merely says that there are some calculations a computer can’t do. There are still a finite number of instructions that are unique and would reasonably pass muster under our patent laws. If you’d like to further clarify, I’d love to hear it. I laid out the issues for the patent system in my other responses, and perhaps you’re right that it’s hard to search and find a series of instructions, aka software, but you should know that software patents are examined entirely the same as other patents. I haven’t seen an analysis that 90% or some other high percentage of software patents shouldn’t have been allowed. Remember that you can include any description in the specification and abstract, including the whole encyclopedia if you want, but that doesn’t define the invention. The invention is defined by the legal description in the claim language – it’s a boundary for what is actually new, and every single word of it must be found in a product for it to infringe. The claim is synonymous with the invention in the case law, which is why it’s not recommended to use the word “invention” in the specification, so it’s not used to narrow the claim interpretation in the court’s Markman (claim construction) proceedings during the suit. Believe me, if someone could do an actual assessment of allowed patents (notably the claims) and show that they never should have been issued, I’d love to see it. As an FYI, from time to time in representing defendants we’re approached by professors etc. who’d like to share prior art and be retained as experts. But aside some from studies here and there which are generally marketing hype ramping off the thought that all software patents are bad, I haven’t seen it. |
I think the easiest way to get a number would be to count up all the "on a computer" patents that were issued, divide by the number of software patents in total and there's a nice lower bound.
> There are still a finite number of instructions that are unique and would reasonably pass muster under our patent laws. If you’d like to further clarify, I’d love to hear it.
I would say that there are actually an infinite number of unique programs. Of course the Incompleteness Theorem states that there are an infinite number of true facts which cannot be computed at all, under any system of logical thought, but inconveniently it doesn't tell you which ones. Nor does it say that there are only a finite number of computable things left over. The real problem is that most of these programs are very similar to each other, and most programs are useless.
As a concrete example, imagine the program that converts an MRI's sensor readings into an image that can be displayed on a screen. This is definitely a very useful program, and one that probably embodies many patentable inventions. But now consider the set of all programs which are almost exactly like that program, but have one typo. This is a much larger set of programs than the one program running on the MRI machine, and we haven't even considered the set of programs with two typos yet. The set of all programs then is vast, and it can never be fully enumerated.
Now, whether or not any of the patents embodied in the MRI program are "good" or not is a different question. I'm sure some of them are; the others are just an implementation of an existing idea but "on a computer", or are otherwise not novel, not new inventions, or are too obvious.