数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
12
返回列表 发新帖
楼主: qwerty

吴文俊机器证明是个什么东东

[复制链接]
发表于 2018-4-8 16:20 | 显示全部楼层

如果人和机器都按一个规律做事,肯定是机器的效率更高,
当今时代,一些数学创新理论的出现已离不开计算机的辅助结合。数字时代、电子时代密不可分。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-28 17:18 , Processed in 0.056640 second(s), 13 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表