Originally Posted by

**yotambien**
As I understand it (this is all from Wikipedia), Turing machines are one of the various possible formal definitions of algorithms (others include recursive functions, lambda-calculus and post-Turing machines). I guess Turing machines is what you have in mind when you say that "[algorithms are] the design plan of a computing machine", i.e. the design plan of a particular Turing machine. Could be, but you are abusing the meaning of "machine" in your next sentence, when you refer to the patentability of machines in general. A computing machine (in Turing's sense) is a thought experiment, not a physical object. That Turing used the word "machine" for his theoretical device does not mean that Turing machines should be considered and treated like pulleys or steam engines. With this in mind, the rest of your reasoning about how benefitial and reasonable patents are is irrelevant to the subject being discussed.