数学心

第六百七十五章 可计算的理论(数理逻辑)(1/1)

星阅小说网【wap.xyxsb.com】第一时间更新《数学心》最新章节。

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

图灵在想,这就相当于是机器对付机器,虽然有一点点人力的帮助,但是总体而言。都是由机器之间的电波相互识别的,这样的电波有的快速的反应能力。

一天在梦中,有一个机器盒子,有两条纸带。一条纸带咔擦咔擦的从左往右走,另一条纸带从右往左走。机器不停,一直发出几个声响。打带机有很多台,不仅仅是单独的,有的是两个打带机的纸带连接着两个甚至多个机器,有的打带机甚至是一个带子连接着一个机器的。有很多地方的机器都通过带子连接在一起,同时运动。最后前后四方无边无际的都是这种机器,有的运行很慢,半天一动,有的很快一直不停。有的忽快忽慢,有的有时往左移有时往右移。这是一台可以自己运算的机器,机器在自己运算的时候就是这样的。

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

图灵在想,机器的本质是什么?对话的本质又是什么?他开始深入的思考这个问题。图灵开始自己制作一个机器的模型,他需要定义一个事情。

先假设有一台机器,这个机器具备计算任何一个模型的能力。在输入口输入问题,经过计算后再从输出的地方输出想要的东西。

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

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

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

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

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

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

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

人气小说推荐More+

腌臜玫瑰
腌臜玫瑰
关于腌臜玫瑰:孤女夏橙认祖归宗后,最讨厌那个取代了自己位置的养女。养女纯洁无害,温柔伪善,衬得夏橙恶人一个,无可救药。夏橙收敛锋芒,学着养女的模样做一个好孩子,可面上越纯善,她就越知道自己心里到底想要什么......无论是养女喜欢的,还是喜欢养女的,她统统都要抢过来。风头,前途,家产,男人,她都要争上一争,将养女压的翻不过身。但是......风头家产这些都是好控制的死物,唯有那几个男人,渐渐发现
绛河客
我能召唤历史喵
我能召唤历史喵
关于我能召唤历史喵:陈行最近玩了一款名为‘猫猫荣耀’的历史抽卡养成类猫咪游戏,只不过令陈行没想到的是,自己抽到的猫猫竟然都是真实存在的。元璋喵:“咱就是大明皇帝朱元璋,喵~清照喵:“豪放派?我们婉约派打的就是你们豪放派,喵呜~!望着这一大家子的猫,陈行忍不住叹了口气。直到金光闪过,一个自称是‘刘秀喵’的熊猫出现在了客厅之中……“我擦,熊猫也算猫?圣火昭昭,圣光耀耀,凡我弟子,喵喵喵喵。作为一个有
呜喵王之怒
渡执录
渡执录
大昭王朝设镇邪司,分御妖、镇鬼、狩灵三脉治之,处理天下玄异事。五百年前,神器乾坤珏降世,皇室夺得乾玉,坤玉却于混战中失踪。此后天下器灵皆陷入沉睡,狩灵一脉因无所用被朝廷遣散,唯有梅笑山师徒坚守传承。今九州灾异频发,国运式微。国师夜观星象,断言坤玉即将现世,唯有双玉合璧方可重铸山河。狩灵传人程庭芜,镇邪司首座贺云骁,因命运羁绊卷入这场纷争,共赴险途。当沉睡的器灵再度苏醒,当断代的狩灵之道重见天日。
会码字的馒头猫
听懂宠兽说话,我在末世带飞国家
听懂宠兽说话,我在末世带飞国家
(动物读心+末世+御兽流+带飞祖国+雄竞修罗场)周伊因意外猝死,穿成了异世小可怜不说,还一出场便遇到了危机!那便是被一个巨大的猫科动物追!紧急之下周伊想都没想疯狂逃命。也不知是不是生死危机让周伊激发了潜能,她居然于危难间激活了系统,拥有了动物读心的技能!甚至在系统的帮助下,契约了大猫,成为此方世界蓝星,第一个御兽师。系统001:【叮——检测到宿主触发主线任务,主线任务发布中——已发布主线任务。主
半糖布丁奶茶
英灵祭:全面战争
英灵祭:全面战争
关于英灵祭:全面战争:群像+英灵+历史+轻小说(非纯爽文、日常幽默、初中及初中以下的读者慎入、无cp、剧情严谨、逻辑清晰、智斗、武斗、杀伐果断)剑气、道术、魔法,东方英灵与西方英灵的对决!在历史的岁月长河中,他们是无人不知无人不晓的英灵,本不该相遇的ta们却因为一场祭典同时被召唤到了这个世界,这就是鲜为人知的英灵祭。女主灵芝,代表着为恩学院参加了本届英灵祭,拿着后羿弓的她却召唤了与之毫无关联的英
为你独爱