繁體
|
簡體
Sclub交友聊天~加入聊天室當版主
(檢舉)
分享
新浪微博
QQ空间
人人网
腾讯微博
Facebook
Google+
Plurk
Twitter
Line
标题:
[分享]机器证明平面几何定理——泰博定理
[打印本页]
作者:
TSC999
时间:
2017-5-23 10:40
标题:
[分享]机器证明平面几何定理——泰博定理
如何用计算机证明平面几何定理?下面举例说明:
下载
(226.82 KB)
2017-5-23 10:30
下载
(95.3 KB)
2017-5-23 10:36
下载
(55.4 KB)
2017-5-23 10:40
图片附件:
机器证明泰博定理.png
(2017-5-23 10:30, 226.82 KB) / 下载次数 299
http://kuing.orzweb.net/attachment.php?aid=4977&k=823e6af6774e496c03c4fb29d0974c7e&t=1713530088&sid=phKB4O
图片附件:
机器证明泰博定理 1.png
(2017-5-23 10:36, 95.3 KB) / 下载次数 277
http://kuing.orzweb.net/attachment.php?aid=4978&k=2814e8f0cd7a6104652b794233380912&t=1713530088&sid=phKB4O
图片附件:
机器证明泰博定理 2.png
(2017-5-23 10:40, 55.4 KB) / 下载次数 324
http://kuing.orzweb.net/attachment.php?aid=4979&k=9a33a21b56254075b3f7657a83c7c6ac&t=1713530088&sid=phKB4O
作者:
TSC999
时间:
2017-5-23 10:44
李涛是张景中的高徒,研究机器证明。本人看到过李涛关于机器证明的论文,与他有过书信交往。
作者:
abababa
时间:
2017-5-23 11:18
这个本质还是把证明转成计算,不过这是能通过图形一步步作图构造出来的情况,如果作图不能被一步步构造性的作出来,不知道这种情况应该怎么办
作者:
zhcosin
时间:
2017-5-23 13:36
这个算不上是机器证明吧,这其实是人提供思路由机器提供计算,真正的机器证明是过程中的思路和逻辑都是由机器给出的,这个是有专门理论的,我看到过人家给的代码,是由机器生成的逻辑推理代码。
作者:
TSC999
时间:
2017-5-29 14:32
这个算不上是机器证明吧,这其实是人提供思路由机器提供计算,真正的机器证明是过程中的思路和逻辑都是由机 ...
zhcosin 发表于 2017-5-23 13:36
我觉得这是比较初等的机器证明,因为人工参与的比例较大,以后人工智能发展了,可以直接把问题让机器人看一眼(扫描一下),机器瞬间就能给出纯几何证明或是代数式证明。
欢迎光临 悠闲数学娱乐论坛(第2版) (http://kuing.orzweb.net/)
Powered by Discuz! 7.2