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
Easier to show software is abstract, than software is Mathematics | 758 comments | Create New Account
Comments belong to whoever posts them. Please notify us of inappropriate comments.
Easier to show software is abstract, than software is Mathematics
Authored by: PolR on Wednesday, October 17 2012 @ 10:22 AM EDT
Your idea is a good one. The suggestion of using a manipulation of symbols for
the test does exactly that. In a brief to the Federal Circuit where the number
of pages is limited, I think it may be wise to do argue as you suggest to
conserve space.

It assumes no one moves the goalposts by arguing over what should be the
definition of abstract. Part of the problem is that the notion of abstractness
is not well defined so there is room for creative arguments. But the Supreme
Court has ruled that mathematical algorithms are abstract. I think the argument
should keep at least a showing that a mathematical algorithm is a manipulation
of symbols. This should help keep the goalposts sufficiently firmly in place.

Also, the mathematical theory about universal algorithms is critical to
understand the difference between a computer program and a dedicated circuit for
the same computation. It is also part of the explanation of why programming a
computer doesn't make a new machine. If these points are presented to the
Federal Circuit then this part of mathematics must be retained.

Even in the case where the mathematical details must be presented, it is wise to
point out the possibility of short circuiting the syllogism as you say. It will
make the argument more resilient to disputes over what is mathematics.

[ 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 )