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
An algorithm must be machine executable. | 758 comments | Create New Account
Comments belong to whoever posts them. Please notify us of inappropriate comments.
An algorithm must be machine executable.
Authored by: PolR on Sunday, October 14 2012 @ 11:41 PM EDT
No. The mathematical requirements for an algorithm to be an algorithm ensure it
must be machine executable. Some procedures executable by humans are not
algorithms in the mathematical sense of the word. They are not machine
executable either.

[ Reply to This | Parent | # ]

machine executable == no human judgement
Authored by: Anonymous on Monday, October 15 2012 @ 01:16 PM EDT
Its true that you can execute any mathematical algorithm with pencil and paper
(and lots of free time)...

But that's not what that sentence is about.

The requirement that the algorithm be "machine executable" is a way of
saying "you must be able to execute the algorithm mechanically, by just
following the steps and manipulating the symbols the way those steps say".
You're not allowed to use any human judgement or intuition while doing this
process--you must strictly follow the rules. You're not allowed to use the
_meanings_ you have associated with those symbols, when deciding how to
manipulate the symbols.

As we know, machines can't really do those things. They don't have intuition,
they don't have human judgement. They don't know the real-world context and the
human meanings we have associated with the symbols. They only do the math part:
manipulating the symbols according to a strictly-defined set of rules (the
algorithm being executed).

Thats what "must be machine executable" means.

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