一台计算机做了一个维基百科大小的数学证明，而人类无法检查它
如果你认为你在高中做的数学证明很长，你还没有看到利物浦大学的最新证明——计算机科学家阿列克谢·利西萨和鲍里斯·科涅夫提出了一个数学证明，它占据了一个巨大的13G文件，比维基百科的所有页面加起来还要大，人类无法检查。
这是解决Erd的一大步ő由匈牙利数学家保罗埃尔德提出的s不一致问题ő20世纪30年代。Erd公司ős设想了一个无限的数字序列，只包含+1和-1，他想看看这个序列包含内部模式的能力。他提出了一种测量方法，在一个点上切割无限序列，并在其中创建更小的子序列（比如只考虑每三分之一或四分之一个数字）。将子序列的数目相加，就得到了一个称为差异的数字，它可以作为子序列结构以及整个无限序列的度量。
这个证明轻视了庞大定理的15000页
Erd公司ő他的主要假设是，任何价值的差异总是可以找到的，但他从来没有能够证明这一点。《新科学家》解释说，仅用12个加号和减号就可以很容易地证明1的差异，但随着子序列数量的增加，将该方法扩展到更高的差异会变得复杂。但是Lisitsa和Konev能够在这个实验中使用计算机来“证明”一个无限序列总是有2或更多的差异。然而，这样做花了计算机6个小时，产生了一个比15000页的定理更长的证明。
试图检查这个证明将是一个不人道的任务-如果检查一个不符2的证明是如此困难，人类将不可能检查任何更高不符的证明。它提出了一个非人类数学的问题：如果一个证明只能用计算机来检验，人类能接受它是真的吗？根据以色列耶路撒冷希伯来大学数学研究所的吉尔·卡莱（Gil Kalai）的说法，一个人可能不需要检查它。他声称，如果另一台电脑能用同样的结果生成同样的证明，那么很可能是准确的。
Lisitsa和Konev已经开始了下一个项目——他们的电脑已经运行了几个星期，试图找到一个3的差异结果。
- 发表于 2021-04-25 09:23
- 阅读 ( 202 )
- 分类：互联网
你可能感兴趣的文章
源代码(source code)和目标代码(object code)的区别
...别——源代码与目标代码 软件是程序的集合。程序是给计算机执行特定任务的一组指令。它们的指令是由程序员用编程语言编写的。因此，开发一个软件意味着开发一套程序。编写程序的活动称为编程。开发完整软件所遵循的...
实证主义(positivism)和经验主义(empiricism)的区别
...9世纪法国哲学家奥古斯特·孔德。孔德认为，“我们的每一个知识分支都先后经过三个不同的理论条件：神学的，或虚构的；形而上学的，或抽象的；科学的，或积极的。”最后一个条件指的是实证主义，他认为这是理想的阶段...
linux改变世界的5种令人惊讶的方式
... Raspberry Pi是一种小型单板计算机，用来教年轻人计算和编程的基础知识。 ...
像素和矢量有什么区别？
...看起来很明显，但解释是微妙而复杂的。留下来了解一下计算机历史和图形奇才。 像素和光栅图像 象素是单词图片和元素的缩略。它们和50多年前罗素·基尔希发明的第一幅数字图像没什么不同。像素（至少是数字艺术文件中...
构建星际迷航计算机：谷歌知识图如何改变搜索
...ard University）2011年的一项研究得出结论：“我们正逐渐与计算机工具共生，成长为一个相互关联的系统，通过了解信息而不是通过知道信息的位置来记忆信息。”。我引用了这项研究，问Giannandrea，谷歌是否在考虑让这么多的信...
挑战赢家：在U盘上保存维基百科备份
...动器中，作为他的应急包。当然，在真正的紧急情况下，计算机可能很难出现，但如果发生了不可想象的事情，你难道不愿意把人类收集的知识带到身边去兜风吗？你永远不知道那一点信息何时变得至关重要。我们知道这不是最...
回答：我在哪里能买到那本书？
...找本地副本：正如许多人所知，WorldCat是OCLC（在线图书馆计算机中心）提供的一项服务，它为世界上许多图书馆提供了一个极好的元目录。这意味着您可以使用WorldCat在成千上万的图书馆目录中搜索一本书（以及其他种类的资料...
ascii码(ascii)和unicode码(unicode)的区别
...广。 ASCII和Unicode是电子通信中的两种编码标准。它们在计算机、电信设备和其他设备中用来表示文本。ASCII编码128个字符。它包括英文字母、0到9之间的数字和其他一些符号。另一方面，Unicode比ASCII覆盖了大量字符。它代表了世...
登记(register)和缓冲器(buffer)的区别
... 寄存器是内置在处理器中的快速内存位置。此外，一台计算机上可用的寄存器总数取决于计算机体系结构，并且每台计算机的寄存器总数各不相同。事实上，更多的寄存器有助于提高处理器的性能。另一方面，缓冲区是一个主...
位图(bitmap)和矢量(vector)的区别
...像素是一小块颜色。而且，所有这些像素都被安排来创建一个完整的图像。通常，照片或扫描件是位图图像。 此外，标准的未压缩位图格式是BMP。其他位图格式包括联合摄影专家组（PEG/JPG）、图形交换格式（GIF）、可移植网络...
0 篇文章
