当前在线人数17001
首页 - 分类讨论区 - 电脑网络 - 葵花宝典版 -阅读文章
未名交友
[更多]
[更多]
文章阅读:Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运
[同主题阅读] [版面: 葵花宝典] [作者:guvest] , 2019年09月24日19:19:53
guvest
进入未名形象秀
我的博客
[上篇] [下篇] [同主题上篇] [同主题下篇]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: 閲岀▼纰戯細璋锋瓕閲忓瓙闇告潈, 3鍒嗛挓瀹屾垚涓栫晫瓒呯畻涓囧勾杩愶拷
发信站: BBS 未名空间站 (Tue Sep 24 19:19:53 2019, 美东)

计算机定理证明,我的看法如下:

计算机定理证明好多方面早就比数学家强了。数学家的办法是,计算机证明出来的东西
,或者发现的定理。他们认为不重要。

例如给一个20万行的不等式,求证其有解。数学家是证明不出来的。但是计算机用塔斯
基算法就可以。
假如没有塔斯基算法,也许这个不等式就是有名的千年难题。

数学家塔斯基的结果,成了调整数学家的价值观的一个办法。所以形成了数学家内部的
闭环。

除非计算机可以证明所有的定理。不然数学家可以把计算机的强项分出去。但是因为停
机问题,计算机不可能证明所有的定理。所以数学家总有饭吃。

推而广之,AI专家的主要任务其实是指出什么什么不是AI。例如指出下棋不是真AI,等
等。

【 在 wdong(万事休) 的大作中提到: 】
<br>: 这种东西我是不信的。P vs NP追溯到底有个哲学问题,就是要创造一个
东西会
不会
<br>: 比appreciate一个东西更难。比如数学定理验证是P,但是要证明就是NP
。虽然P和
<br>: NP都是在图灵机上定义出来的,但是背后的概念可以推广,就是容易和难。
<br>: 这个容易和难在图灵机上体现为时间复杂度,你现在在量子计算机上说时
间复杂度
<br>: 这个问题破了,没了,这个我承认有这个可能性,但是你怎么证明量子计
算机不是
<br>: 把时间复杂度转换成了某种目前还没有放到纸面上的量子复杂度?
<br>: 我觉得机器在证数学定理上超越人,这个一定会发生。
<br>: 但是如果说证数学定理在机器那里变得容易了,这个我不信。
<br>: 54
<br>: 53
<br>

--
※ 修改:·guvest 於 Sep 24 19:21:41 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

[上篇] [下篇] [同主题上篇] [同主题下篇]
[转寄] [转贴] [回信给作者] [修改文章] [删除文章] [同主题阅读] [从此处展开] [返回版面] [快速返回] [收藏] [举报]
 
回复文章
标题:
内 容:

未名交友
将您的链接放在这儿

友情链接


 

Site Map - Contact Us - Terms and Conditions - Privacy Policy

版权所有,未名空间(mitbbs.com),since 1996