ESP Wiki is looking for moderators and active contributors!

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.

Respected computer scientist Donald Knuth makes the argument:

To a computer scientist, this makes no sense, because every algorithm is as mathematical as anything could be. An algorithm is an abstract concept unrelated to physical laws of the universe.[1]

Related pages on ESP Wiki

External links

References