现在的数学有php 逻辑漏洞洞吗

来源：蜘蛛抓取(WebSpider) 时间：2017-11-24 04:13 标签： 看不见的客人逻辑漏洞
一个用科学无法解释证明的逻辑问题，“数学问题”
一个用科学无法解释证明的逻辑问题，“数学问题”
互联网每日报告
这份演讲中提到的23个问题大力推动了整个20世纪的数学发展，并被后世称为希尔伯特的23个问题。其中第十个问题提到，我们是否可以设计一个可行的过程，并通过有限次运算来判定任何多个未知数的整系数方程有无整数解。为了进一步说明希尔伯特的构想，这里首先阐述一下其构想中提到的当时奥匈帝国数学家库尔特·哥德尔在他的论文中提到了一个非常重要的概念——不完备性理论笔者声明现在我写的这个句子是一句谎话。” 如果你试图去证明这句话的真伪，你会发现，如果这句话是真的，那么我写的这句话就是一句假话，如果这句话是假的，那么我写的这句话就是一句真话，无论从哪个角度来看他们都是相互矛盾的。图中纸带被分为无限个格子，可记录任何字母，二进制数字（0,1）以及空白。每个格子里代表了图灵机的输入和输出信息而空白则表示没有任何信息。下方三角为读写头，表示当先读写（输入输出）的位置。读写头可向左右移动，每次移动一个。其移动方向由当下读写头所指的输入和规则表决定（规则表其实就是当时控制计算机的程序）。读写头首先记录下当下位置的状态（q）并存入状态寄存器，然后根据当下输入对比程序中的要求进行左右移动或停留在当下位置，最后根据程序输出字母或数字，修改新的位置的数字或字母。而我们最开始假设的是机器H总能对程序是否结束运行做出正确的判断。我们由此得到矛盾，从而得到这样的机器H不存在。也就是说，不存在这样一个图灵机能准确的对程序是否结束运行作出判断。而这个证明最关键的一点就是利用了自我干涉的原则和数学系统中的一致性。
本文仅代表作者观点，不代表百度立场。系作者授权百家号发表，未经许可不得转载。
互联网每日报告
百家号 最近更新：
简介: 互联网的每日报告，由我来报。英国数学家安德鲁怀尔兹证明有逻辑漏洞_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
英国数学家安德鲁怀尔兹证明有逻辑漏洞
&&一个违反三段论公理的证明,忽悠了全世界25年。
阅读已结束，下载文档到电脑
想免费下载本文？
定制HR最喜欢的简历
你可能喜欢(upcloudes)
(聊八卦不说名字)
(路柯桐本路)
(Wingshin)
第三方登录：

我要回帖

更多关于 看不见的客人逻辑漏洞 的文章

 

随机推荐