ESP Wiki is looking for moderators and active contributors!

Difference between revisions of "Software is math"

m (External links: {{lang de}})
(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
+
* {{lang de|http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf|tech-turing-lambda.pdf}}
  
  
 
{{page footer}}
 
{{page footer}}
 
[[Category:Arguments]]
 
[[Category:Arguments]]

Revision as of 16:21, 13 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

  • (in German)