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|http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf|tech-turing-lambda.pdf}}
+
* {{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

External links