数学、软件专利和言论自由

　　专利钓鱼公司Bedrock Computer Technologies成功的在Linux服务器技术专利诉讼案中挑落了搜索巨人。此事再次引发了软件专利有效性的争论，以及引起了Linux客户的担忧。为安抚客户，Red Hat采取了先发制人的行动，起诉Bedrock公司，声辩这项专利是无效的，而Red Hat的产品并没有侵权。

　　但是，此类诉讼层出不穷的原因是软件专利系统的性质决定的，不进行大刀阔斧的改革，专利钓鱼带来的恐惧不会消失。在Groklaw的一篇长文中，作者PolR解释了为什么软件和专利需要分家。他认为软件其实是数学，不属于专利范畴，被授予专利的软件方法根本上是一种数学算法，而数学是一种语言，应该遵循言论自由。