Software is math

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?
• Books:
  • Math You Can't Use
  • The Karmarkar Patent and Software - Is Math Patentable?

External links

• (in German) http://www.users.sbg.ac.at/~jack/legal/swp/tech-turing-lambda.pdf
• Wikipedia: Church-Turing thesis
• Counter view: Computer Software is Not Math