吾道长不孤提示您:看后求收藏(天书网www.tsms517.com),接着再看更方便。

尤基有些懵:“‘计算性问题’……”

“计算性问题,就是在探索,是否所有数学题,都可以依靠同一个计算方法破解。在这个基础上,一个叫做阿兰·图灵的天才,设计出了‘图灵机’,然后……他否定了人类关于‘可计算性’的理想。不是所有数学问题,都能被机器所破解。”

图灵机一开始就无法理解许多问题。不是“计算资源不足,无法计算”而是“连开始计算的可能性都不存在”。

最简单的,就比如说部分几何——注意,“部分几何”,不是“所有”。数学中,“数字”、“几何”、“方程”之类的概念,在一定程度上是可以相互转化的。

但在一开始,就有很多问题,计算机无法计算,甚至无法识别。

在计算机诞生的初期,有一位教授,派遣他手下的一个研究生,去解决“计算机图像识别”的问题——他当时乐观的认为,只需要两个月,他手下的研究生就能彻底攻克这个问题。

但事实是,这是不可能的。

一直到二十一世纪,“肉眼识别验证码”,也是某些网络程序判断“登陆者是否是人类”的标准。

“计算机图形识别”是一个恐怖的学科。全世界有无数学者在为之奋斗,但程序员们仍旧将“肉眼识别验证码”作为阻拦机器恶意登陆的手段。

科幻灵异推荐阅读 More+
阵问长生

阵问长生

观虚
修界九州,道廷一统,世家压迫,宗门垄断,修道壁垒森严。 底层修士修道无门,灵石匮乏,度日维艰。 十岁的...
科幻 连载 505万字
混在末日,独自成仙

混在末日,独自成仙

言归正传
这是一个支离破碎的世界,人类文明在刃兽灾变后的星球上苟延残喘,地下堡垒中的文明火焰正时隐时现,太空中的人类精英酝酿着反攻刃兽的终极计划,人类的前路却有些星光黯淡…… “所以说。” 某位苦修一百二十五年结果渡劫失败一缕残魂来到这个‘古怪’世界的大乘期高手仰天长叹: “这关贫道屁事啊。” ———————— 【PS:科幻末日+修仙主角,非无脑爽文。找老书点作者名字,不一一介绍了,坑品有保证。新读者群有空
科幻 连载 280万字
撩倒五个兽夫后,恶毒雌性死遁了

撩倒五个兽夫后,恶毒雌性死遁了

桔子飞飞
死于尸群后,温纾穿进兽世文,成了兽城流落在外的恶毒真千金。作为女主的对照组,原主不仅是个脏兮兮的万人嫌,还到处强抢雄性,以折磨兽人为乐。一睁眼天崩开局,原主欺辱蛇兽,霸王硬上弓不成被毒死;对可怜的雪鸮非打即骂,在部落名声恶臭。温纾两眼一黑,为了扭转命运,决定治好被原主祸害的兽人,远离主角团苟到结局。然而,面对强大的...
科幻 连载 4万字