Bonum Certa Men Certa

All Software Equivalent to Mental Steps, Reducible to Pencil-and-Paper Work

Or why the Benson case shows misunderstanding of how computers work

Finite-state machine Reference: Finite-state machine



Summary: Remarks on the technical details or nature of software patents and why they are -- contrary to some dull-witted claims -- always reducible to analysis done by a human (mental process of logic and/or arithmetic)

THE notion (or rationale) of software patents is based on the misguided idea that rather than let people acquire a monopoly on a particular implementation using a particular computer language we should give people a monopoly on some vague series of instructions (very broad, not even pseudo-code), irrespective of implementation details, and that this way developers would have a greater incentive to write more code and better code. In practice, however, people who write computer programs already have a sort of monopoly on their own implementation because when they write code it is automatically copyrighted and unless the underlying code is hidden away in binary form, it is not so incredibly hard to enforce these monopoly rights. When it comes to patents, the monopoly's scope is so broad (and the covered idea is so vague) that virtually any computer program, even if developed independently (neither mimicking anything nor relying on patent surveys), is infringing. For instance, a computer program with something resembling an hourglass can be deemed infringing, no matter the visualisation of the time indicator, e.g. progress bar (or equivalent). Developers thus need to start worrying about any such mechanism which is indicative of progress/latency.



“A human undertaking the task of sorting book on a shelf alphabetically by title knows that she is dealing with books, that the sequence of words on the binding are titles, and that words are composed of letters, and so forth.”
      --Robert Sachs
Speaking of software patents, Robert Sachs of Bilski Blog has just released the next (third) part of his long paper about software patents being metaphors (abstract) and he notes: "Another key difference between how computers perform their operations and how humans do is that humans, but not computers, understand what they are doing, and the meaning of their operations. A human undertaking the task of sorting book on a shelf alphabetically by title knows that she is dealing with books, that the sequence of words on the binding are titles, and that words are composed of letters, and so forth. She performs these operations directly on the words. This knowledge of the domain impacts how the operations themselves are performed. A computer can sort the same titles, but only once each title is represented as a string of numbers—the computer does not “know” that the numbers represent a book title any more than the human’s finger “knows” she is moving a book, and cannot use this knowledge to change the manner of sorting."

Sorting algorithms are classic logical operations that are typically taught in the first year of computer science courses. Should they too be patentable? Where does it end? They don't even do anything that wasn't already done before (by humans, by hand). The fourth part of the series, published earlier today, cites the Benson case and states: "The court offers two further insightful observations. First, “Pencil-and-paper analysis can mislead courts into ignoring a key fact: although a computer performs the same math as a human, a human cannot always achieve the same results as a computer.”"

"These are all reducible to a Turing machine and every pertinent operation can be carried out by a human rather than a processor, no matter the complexity (e.g. number of bits in the 'pipe')."The paragraph goes on with quotes like that, but it does not change the fact that any computation carried out by a computer can also be done on paper (it's just a question of how long it takes for the human operator to do so). These are all reducible to a Turing machine and every pertinent operation can be carried out by a human rather than a processor, no matter the complexity (e.g. number of bits in the 'pipe').

There is still one more part (the finale) to come from Mr. Sachs. It's part of a long paper on the subject of software patents (not a paper from software patents lobbyists like David Kappos, now funded by Microsoft and others to shame and pressure the system).

Recent Techrights' Posts

IBM Red Hat Does Not Compete With Microsoft, It's a Microsoft Reseller
even if employees of Red Hat dislike and distrust Microsoft
Dr. Andy Farnell on Marketing Bad Things Like Slop Using FOMO (Fear of "Being Left Behind")
many of the same themes we often cover here
IBM Stock Compared to Bitcoin, Fake Articles About IBM Promote Myths About IBM
The stock moves based on false marketing
Oligarchs and States Always Attempted to Obstruct Efforts to Expose Their Corruption
We commend the administrator who consistently and adamantly defend the freedom of speech
 
Greenland Ought to Move to GNU/Linux, Not Apple
GNU/Linux at 4%
So When Will British Politicians, Police, Government Departments Quit Twitter (X.com)?
They sure bring constituents there (by being there)
If You Care About Freedom, Don't Follow IBM Red Hat (Like Microsoft Novell 20 Years Ago)
IBM Red Hat and Microsoft don't seem to compete
Red Hat Layoffs, Even of "AI" Staff in India
This is how companies die
LLM Slop Isn't Replacing Online News, It's Just a Pest That's Gradually Going Away as Money for Slop Runs Out
Slop likes to talk about itself (like some kind of 'web-cancer')
Not Journalism: Almost 80% of the 'Articles' We Saw About Torvalds and 'Vibe Coding' Are LLM Slop (Sometimes Slop Images)
The real issue is, Torvalds who created Git as a solution to proprietary prison is entertaining Microsoft's own proprietary prison
EPO People Power - Part XXXIII - Interest From Some European Media, For a Change
Without it, we'll become another Russian Federation
Just Another Reminder That Microsoft Didn't Deny Mass Layoffs
Remember that Microsoft never denied this
GNU/Linux Measured at 6% in Réunion This Year
Population sizes like a million people are nothing to sneeze at
Bluewashing Continues, Red Hat Onboarding Interns in Low-Paid Regions
It's the end of the second Monday of 2026
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Monday, January 12, 2026
IRC logs for Monday, January 12, 2026
Gemini Links 13/01/2026: ScottoRang and Outage
Links for the day
GNU/Linux Exceeding 6% in Cape Verde
Windows is measured as down sharply
When It Comes to Health, Slop is a Flop and It Kills People
Chatbots will mostly die after many people die due to them
2026 Has Begun Well for GNU/Linux Users (and for Us)
A lot of the anti-Linux FUD we got accustomed to seeing some years ago became scarce
Links 12/01/2026: Vista 11 Exodus and Famicom/NES Game
Links for the day
Links 12/01/2026: Twitter (X) Being Blocked in More Countries, PTAB Besieged by Cheeto Appointees (Bad Patents Getting Through)
Links for the day
Links 12/01/2026: Brussels Plotting Exit From GAFAM (US), Carole Cadwalladr Explains "Peter Thiel's New Model Army"
Links for the day
Scheduled Maintenance Between 15th of January and Days to Follow, Free Software Foundation (FSF) Looking to Add 43 More Members by 16th of January
People who value Software Freedom should consider joining to support the FSF
Bracing for Microsoft Layoffs, Tired of Microsoft Lies, Microsoft Staff Wants Transparency, Not Face-Saving Coverup From Frank Shaw
totally made up stock price
GNU/Linux Estimated at Around 5% in Montserrat
another country where the "share" of GNU/Linux is now measured at 5%
GNU/Linux Exceeding 5% in Guadeloupe According to statCounter
GNU/Linux "share" estimates in Guadeloupe
Dr. Richard Stallman @ Georgia Tech Next Week
More Than One Week From Now
EPO People Power - Part XXXII - Little Hope That European Press Will Attempt to Expose Drug Abuse in Europe's Second-Largest Organisation
What does this tell us about the press in Europe?
Three most controversial Australian authors linked to St Paul's, Coburg
Reprinted with permission from Daniel Pocock
Links 11/01/2026: Data Breaches and Recent (Early 2026) Political Developments
Links for the day
Gemini Links 12/01/2026: Insomniacs After School and Boycotting Amazon
Links for the day
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Sunday, January 11, 2026
IRC logs for Sunday, January 11, 2026
Brett Wilson LLP 'Dropping' the LLP, Is This Rebranding?
It's not a coincidence or a glitch, there was a formal change somewhere in the system
Can IBM Still Control the Narrative?
We'll see what comes out through the grapevine later this week
IBM SkillsBuild as Microsoft Training, Microsoft Vendor Lock-in, Microsoft Surveillance
Microsoft benefits from IBM's "training"
EPO People Power - Part XXXI - Almost No Crime is Possible Without Enablers and Complicit Colleagues
By the middle of January 2026 we'll have taken things up another gear
Aruba's GNU/Linux Adoption Seems to Have Reach All-Time High This Year
ChromeOS rose by a lot too
After the LLM Slop Frenzy...
In every way, slop is no better than spam
Links 11/01/2026: 'Nothing to Lose' in Iran and Kyiv Restores Electricity
Links for the day
Gemini Links 11/01/2026: "Late To The Party" and "Thinking About Software Licences"
Links for the day
Links 11/01/2026: Bob Weir and Stewart Cheifet Perish
Links for the day
Higher Adoption Rates of GNU/Linux in Cyprus in Recent Years
there are some Cypriots who are championing Free software
Microsoft's linkedin.com is Shrinking, Expect LinkedIn Layoffs to Carry on in 2026
Expect the mass layoffs and office closures to carry on there, maybe as early as next week
Gemini Links 11/01/2026: Scott Morgan and 'The Unix Way'
Links for the day
IBM to Be 'Reorganised'
The rich look for ways to 'monetise' what's left IBM
Dr. Andy Farnell Explains Why He'll Stop Sending E-mail to Microsoft and Gmail Users
The article is long and well worth reading
Over at Tux Machines...
GNU/Linux news for the past day
IRC Proceedings: Saturday, January 10, 2026
IRC logs for Saturday, January 10, 2026