知识卡片
软件本质是数学不应被专利化的论点
内容
大多数国家的专利制度明确排除纯数学公式——无论新旧，数学公式都不能被专利垄断，因为它们被认为是”发现”而非”发明”、是全人类共享的思想本身。既然数学公式不可专利化，那么以”软件”之名申请的专利，本质上是在给同样不该被垄断的数学思想披上一层技术外衣，绕过了专利制度本该守住的边界。发散：这个论点的力量在于它没有停留在”软件专利实践上被滥用”这种经验层面的抱怨，而是从专利制度的第一性原理（思想本身。
参考来源
- 位置：《Go语言程序设计》附录B《软件专利的危害》（源文件：_epub-src/OEBPS/text00045.html）
- 结论依据：原文在该章节围绕“大多数国家的专利制度明确排除纯数学公式——无论新旧，数学公式都不能被专利垄断，因为它们被认为是"发现"而非"发…”给出定义、示例或限制条件；摘录中的术语、代码片段或对比关系直接支撑本卡片的结论。
- 原始内容：前技术的专利）忽然消失了会怎么样呢？这必然会大量减少专利勒索并刺激创新。但那个关键疑问依然存在：软件真的需要专利化吗？ 包括美国在内的大部分国家不可能会申请与数学公式相关的专利，无论这些公式的新旧。然而，数学公式代表的是想法（也就是专利要“保护”的对象），如我们从“邱奇-图灵论题”中所知，软件的逻辑都可以简化成一个数学公式，所以软件可以归…