哥德尔的逻辑结构

371f8daf19f6086e1ba83e16a42e37fa.png

来源:人机与认知实验室

1920年代末,数学圈内的人们均认为所有数学问题都有一个确定的答案一一真或假。比如说,每个偶数均是两个质数之和,数学文献中称这个论断为哥德巴赫猜想。曾几何时,在传统认识中,人们认为精确定义的数学命题必须非真即假,就像这个命题一样。并且,还应该存在一个逻辑推理链,通过有限步骤得到真或假的结论。我们可以认为当时的科学家就是这样想的。可以认为今天的大部分人也是这么想的,”哥德尔(KurtGde])证明,数学家错了。他指出,假设我们拥有一个逻辑系统,它足以表述有关数字的所有可能命题,但依照这个系统的逻辑规则,至少存在一个命题我们无法证明它正确与否。(哥德尔不完备性定理说任何有限公理系统都不足以证明其中的每一个数学命题。)

99b410c6045fa5100fb3d63ffdfb2584.png

哥德尔证明了并非每个问题都必须有一个是或非的答案。另外,一个问题,哪怕是一个关于数字的简单问题,都可能是不确定的。实际上,哥德尔还证明了许多其他问题。他的工作指出,存在这样一些问题,当由逻辑系统的规则无法确定其正确性时,我们可以跳出这个系统而把它简单地认为是真,尽管它们不能被证明为真。如著名的‘撒谎者悖论’在数学上的翻版,还如‘这句话是错的’这样的句子。

49b0256a8aa4982f09f84c0feb8c913f.png

哥德尔的结论是建立在一个关键的假设基础之上,即我们所使用的逻辑系统必须是一致的,这一点很重要。这就是说,当我们使用系统的逻辑操作时,不可能建立起一个既真又假的命题。这就带来了一个问题,即我们怎么知道一个系统是否是一致的。哥德尔对这个问题明确地给出了答案:我们不能!他阐述了这样一个事实,即逻辑系统不能证明它自身的一致性。

希尔伯特曾有个判定问题,即是否存在一个单一的逻辑框架,该框架足以证明每个数学命题成立或不成立。希尔伯特坚信一定存在这样的逻辑框架。然而不久后,哥德尔的研究彻底否定了希尔伯特的观点。但图灵从一个与哥德尔完全不同的角度来看待这个问题, 他把得到一个证据的逻辑步骤与人类得到计算结果所遵循的步骤看成是一样的。

161bc0b77a91bc4116ca2f6d43395b53.png

根据反身及具身理论,我们可以看出主体与客体是互为中介的:没有客体,主体不可想象;没有主体,客体没有意义。当然,这恰恰意味着两者之间的非同一。

世界不仅仅是由数据、算法、算力、知识、关系构成,更重要的还有使用,计算与算计都是使用的手段和方法,没有恰当的使用,再好的世界也不能够实现。

3b23576ca0b05c4a11e47f62a5734915.png

未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)大脑研究计划,构建互联网(城市)大脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。每日推荐范围未来科技发展趋势的学习型文章。目前线上平台已收藏上千篇精华前沿科技文章和报告。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

61e63689091cccb78157814bd9532261.png

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/483462.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

python模拟http请求

下文主要讲述如何利用python自带的库模拟http请求,为以 #!coding:utf-8 相信这句大家都懂的,不解释 #导入需要的python模块httplib,用来模拟提交http请求,详细的用法可见python帮助手册 import httplib #导入需要的python模块urll…

王道计算机组成原理 物理层整理 超详细版

数据通信 通信的目的是传送信息。 数据:传送信息的实体,通常是有意义的符号序列。 信号:数据的电气/电磁的表现,是数据在传输过程中的存在形式。 ​ 数字信号:代表消息的参数取值是离散的。 ​ 模拟信号&#xf…

linux基础知识——mmap

1.mmap函数 \qquad返回值:成功时,返回创建的映射区首地址;失败时,返回宏MAP_FAILED。 \qquad参数: \qquad\quad第一个参数addr:建立映射区的首地址,有linux内核指定,使用时&#xff…

威胁生存!科学家警告灾难性“气候临界点”已逼近

来源:中国新闻网 中新网10月26日电 综合报道,从联合国的一份报告草案中,科学家已发现多个灾难性的“气候临界点”。专家警告,临界点之间相互关联,可能产生连锁反应,成为一种生存威胁。据报道,根…

视音频开发测试文件下载

视音频开发过程中寻找各种合适的测试视频非常麻烦,无意间发现一个国外的网站提供各种格式和大小的视音频文件下载, 但是下载速度很慢,有总比没有好,凑合用吧: https://www.sample-videos.com/ 转载于:https://www.cnbl…

王道计算机网络 网络层整理 超详细版

网络层功能概述 主要任务是把分组从源端传到目的端,为分组交换网上的不同主机提供通信服务。网络层传输单位是数据报。 1、路由选择与分组转发 2、异构网络互联 3、拥塞控制 数据交换方式 电路交换 在进行数据传输时,两个结点之间必须先建立一条专用…

Linux的基础知识——mmap父子通信进程和匿名通信

1.mmap父子进程通信 \qquad父子等有血缘关系的进程之间也可以通过mmap建立的映射区来完成数据通信。但相应的要在创建映射区时候指定对应的标志位参数flags: \qquadMAP_PRIVATE:父子进程各自独占映射区;MAP_SHARED:父子进程共享映射区。 2.m…

ios点击有300毫秒延迟,输入框必须重压或长按才能获取焦点唤起软键盘

以下方法主要针对在vue中的使用 // ios点击有300毫秒延迟 1. 安装依赖包cnpm install fastclick --save 2. 在 /src/main.js 中引入并使用import FastClick from fastclickFastClick.attach(document.body)// 输入框必须重压或长按才能获取焦点唤起软键盘 // 这是由于上面引入了…

Forerunner:首个面向“多未来”的推测执行技术

来源:微软研究院AI头条编者按:10月26-29日,系统领域的全球顶会 SOSP 2021 在线上举办。在本届大会上,微软亚洲研究院研究员陈洋、郭众鑫、李润怀(实习生,浙江大学)、陈硕、周礼栋、张宪以及浙江…

linux的基础知识——信号的概念

1.计算机信号的特点 \qquad简单;不能携带大量信息;满足某个特设条件才发送 2.信号的机制 \qquadA与B两个进程,A向B发送一个信号,此时B进程正在执行自己的程序,在收到信号时,会暂停程序的执行,先…

2021-07-23 小记

https://github.com/XiaoJing-C 整理了一下GitHub,网络连接总是不稳定,uu们有无好的解决方法?

Gartner发布对2022年及以后IT组织和用户的十大预测

来源:Gartner中国编辑:蒲蒲Gartner于近日发布对2022年及以后的十大战略预测。Gartner的十大预测从三个方面探讨了企业和IT领导人在持续中断和不确定性中获得的经验教训。这三个方面分别是:朝以人为本的方向推进、努力提高韧性以及超越期望的能…

王道计算机网络 传输层整理 超详细版

传输层是主机才有的层次。 传输层的功能 1、传输层提供进程和进程之间的逻辑通信。(网络层提供主机之间的通信) 逻辑通信:传输层之间的通信好像是沿着水平方向传送数据,但事实上这两个传输层之间并没有一条水平方向的物理连接。…

这个最基本的生命细节才被揭开——25毫秒核孔穿梭

来源:生物通细胞中的所有蛋白质都是由复杂的分子机器组装而成的。这些核糖体的前体在细胞核中产生,然后通过所谓的核孔进入细胞。波恩大学和苏黎世联邦理工大学的研究人员首次在活细胞中拍摄了这个基本过程。他们的实验提高了对核糖体是如何产生的理解。…

计算机网络——基本介绍

1.计算机网络的概念 \qquad计算机网络是一个将分散的,具有独立功能的计算机系统,通过通信设备与线路连接起来,由功能完善的软件实现资源共享和信息传递的系统。 \qquad这里的计算机系统,也可以成为端系统,其包括但不限…

Mysql data type(数据类型)

MySQL 数据类型 MySQL中定义数据字段的类型对你数据库的优化是非常重要的。 MySQL支持多种类型,大致可以分为三类:数值、日期/时间和字符串(字符)类型。 数值类型 MySQL支持所有标准SQL数值数据类型。 这些类型包括严格数值数据类型(INTEGER、SMALLINT、…

王道计算机网络 应用层整理 超详细版

应用层概述 应用层对应用程序的通信提供服务。 应用层协议定义: 应用进程交换的报文类型(请求/响应) 各种报文类型的语法,如报文中的各个字段及其详细描述。 字段的语义,即包含在字段中的信息的含义。 进程何时、…

Facebook正式改名Meta,一个元宇宙新纪元由此开始

All in Metaverse,扎克伯格豪赌一个未来。来源:硅星人文:Juny 编辑:Lianzi美西时间早上7点,硅谷的天刚蒙蒙亮。Facebook硅谷总部前公司标志牌被蒙上了一层幕布。工作人员在标志牌前拉起了屏障,静静等待着…

计算机网络——标准化工作及相关组织

1.标准的分类 \qquad法定标准:由权威机构制定的,正式的,合法的标准,比如OSI标准;事实标准:某些强势产品在经过时间之后,这些产品的协议和技术就成为了标准,比如TCP/IP协议。 2.标准…

使用 Blender* 重新拓扑 VR 和游戏素材

本文介绍如何将网格重新拓扑成一个整洁的低密度模型,然后 UV 解包该网格,以便将纹理贴添加至新模型。本文还将探讨如何使用免费工具,比如 Blender* 及其 Bsurface 插件,重新拓扑雕塑的 3D 网格。查看详情转载于:https://www.cnblo…