ESP Wiki is looking for moderators and active contributors!
Difference between revisions of "Software is math"
(Mathematics is generally recognised as non-patentable.) |
m (* (in German) http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf) |
||
Line 3: | Line 3: | ||
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. | ||
+ | ==External links== | ||
+ | * (in German) http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf | ||
[[Category:Arguments]] | [[Category:Arguments]] |
Revision as of 08:44, 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.