ESP Wiki is looking for moderators and active contributors!
Difference between revisions of "Software is math"
(→Related pages on {{SITENAME}}: * [http://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis Wikipedia: Church-Turing thesis]) |
(* Counter view: [http://www.ipwatchdog.com/2008/12/15/computer-software-is-not-math/ Computer Software is Not Math]) |
||
| Line 5: | Line 5: | ||
==Related pages on {{SITENAME}}== | ==Related pages on {{SITENAME}}== | ||
* [[Anti-lock braking example]] - if the physical car invention is patentable, should an in-computer game-simulation be? | * [[Anti-lock braking example]] - if the physical car invention is patentable, should an in-computer game-simulation be? | ||
| − | * | + | * [[Books]]: |
| − | * [ | + | ** [[Math You Can't Use]] |
| + | ** [[The Karmarkar Patent and Software - Is Math Patentable?]] | ||
==External links== | ==External links== | ||
* {{lang de}} http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf | * {{lang de}} http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf | ||
| + | * [http://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis Wikipedia: Church-Turing thesis] | ||
| + | * Counter view: [http://www.ipwatchdog.com/2008/12/15/computer-software-is-not-math/ Computer Software is Not Math] | ||
{{page footer}} | {{page footer}} | ||
[[Category:Arguments]] | [[Category:Arguments]] | ||
Revision as of 09:54, 16 February 2010
Mathematical formulas are generally recognised as non-patentable because math is not patentable subject matter.
Since the logic (idea) of software can be reduced to a mathematical formula (idea) with Church-Turing Thesis, and because mathematical formulas (idea) are not patentable, patent applications for software ideas should be rejected.
Related pages on ESP Wiki
- Anti-lock braking example - if the physical car invention is patentable, should an in-computer game-simulation be?
- Books:
