悠闲数学娱乐论坛(第2版)'s Archiver

TSC999 发表于 2017-5-23 10:40

[分享]机器证明平面几何定理——泰博定理

如何用计算机证明平面几何定理?下面举例说明:

[attach]4977[/attach]
[attach]4978[/attach]
[attach]4979[/attach]

TSC999 发表于 2017-5-23 10:44

李涛是张景中的高徒,研究机器证明。本人看到过李涛关于机器证明的论文,与他有过书信交往。

abababa 发表于 2017-5-23 11:18

这个本质还是把证明转成计算,不过这是能通过图形一步步作图构造出来的情况,如果作图不能被一步步构造性的作出来,不知道这种情况应该怎么办

zhcosin 发表于 2017-5-23 13:36

这个算不上是机器证明吧,这其实是人提供思路由机器提供计算,真正的机器证明是过程中的思路和逻辑都是由机器给出的,这个是有专门理论的,我看到过人家给的代码,是由机器生成的逻辑推理代码。

TSC999 发表于 2017-5-29 14:32

[quote]这个算不上是机器证明吧,这其实是人提供思路由机器提供计算,真正的机器证明是过程中的思路和逻辑都是由机 ...
[size=2][color=#999999]zhcosin 发表于 2017-5-23 13:36[/color] [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=21230&ptid=4622][img]http://kuing.orzweb.net/images/common/back.gif[/img][/url][/size][/quote]

我觉得这是比较初等的机器证明,因为人工参与的比例较大,以后人工智能发展了,可以直接把问题让机器人看一眼(扫描一下),机器瞬间就能给出纯几何证明或是代数式证明。

页: [1]

Powered by Discuz! Archiver 7.2  © 2001-2009 Comsenz Inc.