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
The work "done by the computer" is pure math | 1347 comments | Create New Account
Comments belong to whoever posts them. Please notify us of inappropriate comments.
The work "done by the computer" is pure math
Authored by: Anonymous on Monday, June 11 2012 @ 08:46 PM EDT
Executing software boils down to purely mental steps if you do it in your head.
(Programmers do this while debugging.)

Of course, you can do it with the aid of physical medium such as pencils and
paper. Then you don't have to remember it all in your head. But you're still
just doing math (executing a mathematical algorithm).

If a CPU executes your software, it does it with the aid of a physical medium
(tiny transistor switches and circuits that transfer electrical charges around),
but its still just doing math (executing a mathematical algorithm). In fact its
executing *a specific algorithm* which you can use to interpret a written
description of any other algorithm, and execute that algorithmic description.

But its still basically the same as running a Universal Turing machine in your
head (or with pencil and paper, etc).

Ignoring resource limitations (running time and finite memory), a human being
could compute anything which is computable, purely within their own mind.

Ignoring resource limitations (running time and finite memory), a Universal
Turing machine execute any description of a computation and thereby carry out
the described computation -- it can compute anything that is computable.

Ignoring resource limitations (running time and finite memory), an actual
physical computer CPU can execute any description of a computation (i.e. a
software program) and thereby carry out the described computation (the algorithm
embodied in that software) -- again, it can compute anything that is computable.

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