当前位置:首页—15美元的数学大师梦 正文

15美元的数学大师梦


时间:2010-12-08 |分类: 数学 |标签:没有标签|评论:(3)

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

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

猜你喜欢

已有 3 条评论:

    • 淘宝化妆品  评论于 [2011-01-15 17:28:57]  回复

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

    • 4tradingfans  评论于 [2011-01-09 01:30:18]  回复

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

发表评论:

博主乃舌拙嘴笨,无智疏才。悲观懒散,乡村庸师一枚。浪荡教坛多年,误人子弟无数。常与虚无空谈,腆与数学沾边,至今一无所能一无所成。
轻语细言
随机文章
热评文章
标签
最新评论