The licensing program for MP3-related patents has been terminated

Re:The licensing program for MP3-related patents has been te... by PhasmaFelis on Monday May 01, 2017 @04:21PM (#14241160)

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 formulae.

[ Parent | on HN ]

Re:The licensing program for MP3-related patents has been te... by khedoros1 on Monday May 01, 2017 @04:40PM (#14241340)

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.

[ Parent | on HN ]

Re:The licensing program for MP3-related patents has been te... by a3n on Monday May 01, 2017 @05:14PM (#14241680)

> Mathematical proofs can't be patented,

Only because we've decided so. In the United States, for example, you can copyright the law.

[ Parent | on HN ]