3 ms·

I mean, I'm very much opposed to over-broad software patents, but that's a fairly silly argument. Anything a human being produces can be reduced to mathematical

• khedoros1 10y ago
  I think what they may've been referring to is something like the Curry-Howard correspondence, which describes the mapping between computer programs and mathematical proofs. Mathematical proofs can't be patented, and it could be taken to imply that (at least some) programs/algorithms shouldn't be eligible for patent protection.
  • a3n 10y ago
    > Mathematical proofs can't be patented, Only because we've decided so. In the United States, for example, you can copyright the law.