ESP Wiki is looking for moderators and active contributors!
Difference between revisions of "Software is math"
(→External links: {{lang de|) |
m (→External links: {{lang de}}) |
||
Line 8: | Line 8: | ||
==External links== | ==External links== | ||
− | * {{lang de | + | * {{lang de}} http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf |
{{page footer}} | {{page footer}} | ||
[[Category:Arguments]] | [[Category:Arguments]] |
Revision as of 03:41, 14 January 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?
- Book: Math You Can't Use