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

发信人: Caravel (克拉维尔), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运�
发信站: BBS 未名空间站 (Wed Sep 25 01:41:50 2019, 美东)

你这个物理实验,有点类似退火量子计算机,但是现实问题想map成物理问题很困难,
除非你能找到universal的convert算法,否则成本太高。

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 计算机定理证明,我的看法如下:
: 计算机定理证明好多方面早就比数学家强了。数学家的办法是,计算机证明出来的东西
: ,或者发现的定理。他们认为不重要。
: 例如给一个20万行的不等式,求证其有解。数学家是证明不出来的。但是计算机用塔斯
: 基算法就可以。
: 假如没有塔斯基算法,也许这个不等式就是有名的千年难题。
: 数学家塔斯基的结果,成了调整数学家的价值观的一个办法。所以形成了数学家内部的
: 闭环。
: 除非计算机可以证明所有的定理。不然数学家可以把计算机的强项分出去。但是因为停
: 机问题,计算机不可能证明所有的定理。所以数学家总有饭吃。
: ...................



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 73.]

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

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

友情链接


 

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

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