ESP Wiki is looking for moderators and active contributors!
Difference between revisions of "Software is math"
m (* (in German) http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf) |
m (==Related pages on {{SITENAME}}== * Anti-lock braking example - if the physical car invention is patentable, should an in-computer game-simulation be?) |
||
| Line 2: | Line 2: | ||
Since the logic (idea) of software can be reduced to mathematical formula (idea) with Church-Turing Thesis, and because mathematical formula (idea) is not patentable, software should not be patentable. | Since the logic (idea) of software can be reduced to mathematical formula (idea) with Church-Turing Thesis, and because mathematical formula (idea) is not patentable, software should not be patentable. | ||
| + | |||
| + | ==Related pages on {{SITENAME}}== | ||
| + | * [[Anti-lock braking example]] - if the physical car invention is patentable, should an in-computer game-simulation be? | ||
==External links== | ==External links== | ||
Revision as of 12:34, 7 August 2009
Mathematics is generally recognised as non-patentable because it is not patentable subject matter.
Since the logic (idea) of software can be reduced to mathematical formula (idea) with Church-Turing Thesis, and because mathematical formula (idea) is not patentable, software should not be patentable.
Related pages on ESP Wiki
- Anti-lock braking example - if the physical car invention is patentable, should an in-computer game-simulation be?
