第五百八十八章 可计算的理论数理逻辑

蔡泽禹提示您:看后求收藏(小说巴士★https://www.xs84.co),接着再看更方便。

图灵发明了爆炸机之后,开始陷入了深深的思考当中。

图灵在想,这就相当于是机器对付机器,虽然有一点点人力的帮助,但是总体而言。

都是由机器之间的电波相互识别的,这样的电波有的快速的反应能力。

一天在梦中,有一个机器盒子,有两条纸带。

一条纸带咔擦咔擦的从左往右走,另一条纸带从右往左走。

机器不停,一直发出几个声响。

打带机有很多台,不仅仅是单独的,有的是两个打带机的纸带连接着两个甚至多个机器,有的打带机甚至是一个带子连接着一个机器的。

有很多地方的机器都通过带子连接在一起,同时运动。

最后前后四方无边无际的都是这种机器,有的运行很慢,半天一动,有的很快一直不停。

有的忽快忽慢,有的有时往左移有时往右移。

这是一台可以自己运算的机器,机器在自己运算的时候就是这样的。

尽管只是个普通的二进制,但是他也变成了几个具有对话意义的过程,这是个伟大的突破。

图灵在想,机器的本质是什么?对话的本质又是什么?他开始深入的思考这个问题。

图灵开始自己制作一个机器的模型,他需要定义一个事情。

先假设有一台机器,这个机器具备计算任何一个模型的能力。

在输入口输入问题,经过计算后再从输出的地方输出想要的东西。

是不是任何一个东西都可以计算?计算的时候要什么元件才可以?

肯定使用电器,这个电器的基本运算是什么样子的?可以有很多种,在堆砌成大运算的时候也有达到运算能力越来越强才对。

这个点子元件就是布尔代数的原理,也是数学中的环代数,所以以后的计算机全部都是环代数。

也就是数学家要研究环代数的原因。

结合了丘奇的理论,就可以丰富图灵机。

除此以外,图灵第一个要面对的问题就是,什么是可以计算的,什么是不可以计算的?是有能计算的才能用布尔代数去计算,不能计算的就不可以放在计算机中,必须在第一时间内排除掉才可以。

在排除掉不能计算的问题的情况下,才能酣畅淋漓的去计算任何一个可以计算的问题。

1936年,图灵发表了《论可计算数及其在判定问题上的应用》,其中描述了一种理论上的机器,现在称为“图灵机”

它成为可计算性理论的重要组成部分。

为您推荐

    你的愿望我收下了[快穿]

    作者: 千葱一沫

    娱乐圈快穿,主打一个苏爽。姜如初绑定了一个愿望系统,实现委托者的愿望就能继续活下去。然后系统A012发现,不知不觉中,它的宿主又双叒火了!世界一穿成出道无望的爱豆练习生后她作为乐队主唱爆红(已完成)世界二穿成虚言症恋综女嘉宾后她出圈了(已完成)世界三穿成温顺大小姐后她进入了职业车队(已完成)世界四穿成演员前女友后她成为了最强新人导演(已完成)世界五穿成制作人后她成为了音源大雾(已完成)世界六穿成社恐宅女后她成为了鬼才漫画家(已完成)世界七穿成女主播后她成为了天梯路人王(已完成)世界八大热电视剧编剧作家(进行中)(可能有增减可能打乱顺序可能有设定变化)1娱乐圈衍生,超多私设,建议不要代入现实,也可当原创看2苏爽文,逻辑为剧情服务,大概率经不起考据3有事业有感情,女主全能万人迷类型,有的世界会有cp,有的世界没有4按照晋江规定,人名会改成谐音你的执念我收下了快穿文案姜行歌绑定了一个执念系统,需要去往各个小世界消除委托者的执念。无论委托人拿了怎样的人生剧本,她都可以改变她们的结局。1无脑苏爽文,逻辑为剧情服务,大概率经不起考据2金手指粗壮,虐谁都不虐女主,部分小世界中有单箭头感情戏所以标言情3全架空,架得非常空暂定世界(可能增减,可能调换顺序)现代娱乐圈追星女被背刺的一生站姐脱粉关站转型爆料博主,整顿娱乐圈现代灵异不问苍生问鬼神天命之子只会杀鬼,而她要救赎那些被人所害的冤魂赛博朋克自由之城虚假的自由之下埋葬着无数枯骨,她要赢回自己的人生现代爱情恋爱脑中的正常人精神病院开局,带领病友改变世界现代真假千金极限竞技人生不是轨道,而是旷野架空民国华国女足末世求生灵气复苏动物世界惊悚直播被邪神追求的人类引用自网络内容标签娱乐圈日韩泰系统快穿正剧搜索关键字主角姜如初┃配角韩娱艺人┃其它一句话简介宿主她又双叒火了。立意为自己而努力,成为更好的人...[点击阅读]

    鬼君倾城:帝尊,别跑

    作者: 百媚倾城

    兄弟,借你鸟一用。她本是实力超然,名震三界的鬼域之君。一朝重生成了将军府的断袖瞎子‘大公子’时,不小心抢了某帝尊的神兽青凤,还夺了他的初吻。某帝尊咬牙偷本尊鸟,偷本尊初吻,偷本尊发带,一定要抓到这个大胆小贼。他是大陆最不食人间烟火的帝君,禁欲,无情,高贵。她是鬼界之君,嚣张,霸道,残忍。灵根被废?没事,她本就主修鬼道!是个瞎子?没事,她本就主修鬼道!没有灵力?没事,她本就主修鬼道!众人问何为鬼道?答死人之道。将军府大公子断袖又眼瞎,却让高高在上的帝尊弯下了腰。杀人,他助威。灭门,当打手。生娃,他亲自播种。某帝尊鬼道多杀孽,还是跟本尊一起修仙,练习三十六招七十二式,可好?某女滚!本文一对一,男女皆身心干净。男主高冷又呆萌,女主偶尔抽风,偶尔正常,多半是禽兽女流氓。...[点击阅读]

    假太监:公主别闹,陛下看着呢

    无脑爽文苏澈穿越成为一名假太监,却发现自己没有系统,没有金手指!但是没关系,身为21世纪优秀知识青年,就算没有外挂也照样可以玩转后宫。长公主喜欢诗词歌赋?好办,一首七言绝句送上!高阳公主喜欢按摩?也好办,推拿足疗您随便挑!皇后娘娘想成为女帝?别闹,陛下看着呢!...[点击阅读]

    韩落雪欧阳震

    老韩家三房瘫了,媳妇天天给儿子喂血脸白的像鬼,小女儿是个瘸子,就大女儿好看点,韩老太想把她换粮食吃。韩落雪醒来就面对地狱开局,当然是先用计分家了,哪怕住鬼屋也无所谓全村人都在等着净身出户的三房饿死,可为啥他们家生活越来越好了?鸡鸭野猪肉天天吃也就罢了,谁能说说我他们哪来那么多粮食卖?后来,小女儿也不瘸了,韩老三又能去打猎了,鬼一样的媳妇又风华绝代,瘦的随时能挂掉的儿子壮的像头小马驹。就连大女儿找的那丑八怪瘸子也成了个帅小伙?什么?韩落雪男人跑了?老韩家又来看笑话,一辆尊贵奢华的马车停在韩老三门前,数百铁血战士单膝跪地恭请太子妃回京...[点击阅读]

    南玥宫北宸云川

    南玥闪婚了,嫁了个盲人。她只想平平淡淡安安稳稳和自己的盲人老公过日子。自从结婚,南玥觉得自己运气爆棚。升职加薪不说,还意外奖励了一套房子。公司年会,还能抽到法拉利。唯一的苦恼就是她的顶头上司总是纠缠她。一日,他将她抵在办公室里。南秘,你的婚姻生活性福吗?宫总,您越界了。哦,那我晚上再问。晚上南玥推开家门,看见自己的顶头上司在自己家。南玥这才知道原来自己的盲人老公,竟是自己的顶头上司,那个帝国继承人!宫北宸说,白天她鞍前马后地伺候他,晚上他跪在她面前伺候她,这很公平。...[点击阅读]

    至尊邪凰:魔帝溺宠小野妃

    作者: 墨千澜

    爽文宠文她是21世纪身怀异能术,精通各种毒药的最强赏金猎人,却穿越成炼器世家第一废材。极品家人嫌弃她不会炼器?分分钟炼出一堆灵器闪瞎这些人的狗眼抢她婚约的伪女神是炼药师很了不起?不好意思,她配置的药剂让大陆第一炼药师哭着喊着求拜师天赋全无无法修炼被渣男嫌弃?呵呵,神级修炼体质轻松修炼升级。渣男后悔求复合?某女靠在美男怀中,不屑道滚一边去。只是不小心掀了凶残美男的棺材板,美男就此缠上身怎么办?没办法,只能推到美男使劲办。男强女强,身心干净,1V1...[点击阅读]

    林默陆闻风

    婚礼那天,他一张机票把怀有身孕的她孤身送到了国外,让她颠沛流离,居无定所,失去了他们的孩子。五年后,她再次出现在他的眼前,他的儿子对她一见钟情,心上人的命只有她能救。于是,他冷漠的命令穿上你的手术服,进去把手术做了。她苦涩一笑你就不怕我进去了,她出不来?他说她要是出不来,你也别活着出来了。后来,她和别人结婚的前一晚,他却死死拽住她的手,颤着声音道林默,你是我的,从一开始就是我的。...[点击阅读]

    我为中华修古籍

    左佑佑,文案鬼才,吃瓜达人,互联网热点十级学者。因为一场乌龙,没有背景和高学历的左佑佑,误打误撞进了传统持重的古籍行业,加入历时58年的中华大典编修工作。从接手做跑了四个编辑的百年账本开始,左佑佑挣扎在杂乱的民间计数法中,遭遇了古籍碎裂的毒打,被寄往哈佛研讨会的古书中途丢失的意外爆锤,又掉进了句读错乱的深坑。她打怪升级,奋勇挣扎,终于成长为独当一面的古籍人。谁料,因为一件流失文物,中华大典编修工作陷入了声誉危机。左佑佑利用自己的专业技能,让古籍开口说话,从而挫败拍卖行的阴谋,促成中国流失文物的回归。最终,历时60年,中华大典竣工,沉眠千年的中华文化重现世间。守护传统文化,以一灯传诸灯,终至万灯皆明。...[点击阅读]