decoration decoration
Stories

GROKLAW
When you want to know more...
decoration
For layout only
Home
Archives
Site Map
Search
About Groklaw
Awards
Legal Research
Timelines
ApplevSamsung
ApplevSamsung p.2
ArchiveExplorer
Autozone
Bilski
Cases
Cast: Lawyers
Comes v. MS
Contracts/Documents
Courts
DRM
Gordon v MS
GPL
Grokdoc
HTML How To
IPI v RH
IV v. Google
Legal Docs
Lodsys
MS Litigations
MSvB&N
News Picks
Novell v. MS
Novell-MS Deal
ODF/OOXML
OOXML Appeals
OraclevGoogle
Patents
ProjectMonterey
Psystar
Quote Database
Red Hat v SCO
Salus Book
SCEA v Hotz
SCO Appeals
SCO Bankruptcy
SCO Financials
SCO Overview
SCO v IBM
SCO v Novell
SCO:Soup2Nuts
SCOsource
Sean Daly
Software Patents
Switch to Linux
Transcripts
Unix Books

Gear

Groklaw Gear

Click here to send an email to the editor of this weblog.


You won't find me on Facebook


Donate

Donate Paypal


No Legal Advice

The information on Groklaw is not intended to constitute legal advice. While Mark is a lawyer and he has asked other lawyers and law students to contribute articles, all of these articles are offered to help educate, not to provide specific legal advice. They are not your lawyers.

Here's Groklaw's comments policy.


What's New

STORIES
No new stories

COMMENTS last 48 hrs
No new comments


Sponsors

Hosting:
hosted by ibiblio

On servers donated to ibiblio by AMD.

Webmaster
What Does "Software Is Mathematics" Mean? Part 1 - Software Is Manipulation of Symbols ~ by PolR | 758 comments | Create New Account
Comments belong to whoever posts them. Please notify us of inappropriate comments.
What Does "Software Is Mathematics" Mean? Part 1 - Software Is Manipulation of Symbols ~ by PolR
Authored by: Anonymous on Monday, October 15 2012 @ 12:35 AM EDT
I think you made a jump there and validated it via metaphor.

Symbols and notation are not mathematics, they are the expression of
mathematics. We could change the symbols that defines addition among
the integers, but, still (n mod k) + (m mod k) is still ((n+ m) mod k), as long

as n,m, and k are members of a set for which commutativity and
associativity are valid and there are two operators for which each member
of the set may be defined as: a op1 k op2 b, where 0 is less than or equal
to b which is less than k.

0 is a symbol that joined arithmetic relatively recently, yet, mathematically,
it was always the identity element for addition in the integers.

Blue is our verbal notation for light within a range of frequencies. It would
still be had we not named it. Indeed x-rays were discovered in the 1890s
and
got a name so they could be discussed as physicists worked out the
relationship to visual light.

Had I read the passage of yours you quoted, I would have been struck by
the interjected subtle self-premising and self-proving tautology of
"competent authors."

And that's indicative of a problem: you started with a conclusion and then
sought the evidence from a body of works drawn over the most tumultuous
of centuries with regards to the meaning of mathematics and then you over
valued notation (which you call symbols) to prove that software is
unpatentable mathematics.

Patentable chemical processes also have a notation and obey rules which
are described mathematically. Is chemistry mathematics?

And you overlooked my other point, hardware and software are
equivalents. You can interchange them.


[ Reply to This | Parent | # ]

Groklaw © Copyright 2003-2013 Pamela Jones.
All trademarks and copyrights on this page are owned by their respective owners.
Comments are owned by the individual posters.

PJ's articles are licensed under a Creative Commons License. ( Details )