15美元的数学大师梦

摘要

 毕达哥拉斯、欧几里得、高斯、费马、笛卡尔、拉格朗日、莱布尼兹……不管是学数学还是研究数学,这些大师都是我们绕不过去的。敬仰之余,羡慕之后,自然也会有很多人忍不住奋起而追数史留名。然而翻翻数学史,看看网上那些层出不穷的“我证明了一个数学定理”帖子就     

          毕达哥拉斯、欧几里得、高斯、费马、笛卡尔、拉格朗日、莱布尼兹……不管是学数学还是研究数学,这些大师都是我们绕不过去的。敬仰之余,羡慕之后,自然也会有很多人忍不住奋起而追数史留名。然而翻翻数学史,看看网上那些层出不穷的“我证明了一个数学定理”帖子就会明白,证明一个定理何其不易。有的定理有的证,机遇天分毅力不足也白搭。有的定理没得证明,遇上了一辈子都会陷在里面。
        现在好了,有一个TheoryMine自动定理证明软件可以帮助欲与大师试比高者实现自己的梦想。只要花15美元的价格,TheoryMine的公司就会出售可以用自己或任何人的名字命名软件证明的个性化数学定理,还有证书噢。据说定理机器证明是用程序进行数学定理的证明,它能推论出一个定理是正确的,还是不可证明的,或者错误的。

         这个网站的网址是:http://theorymine.co.uk。呵呵,如果不是抱着娱乐的心态,不知会不会有花钱的冤大头啊。

    A+
发布日期:2010年12月08日  所属分类:趣味数学

发表评论

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen:

目前评论:3   其中:访客  3   博主  0

  1. avatar 淘宝化妆品 2

    他真幸运…花十五元就成了大师

  2. avatar 4tradingfans 0

    呵呵,不错的!顶一个!!

  3. avatar 记忆枕 1

    真不错