加载中
加载中
表情图片
评为精选
鼓励
加载中...
分享
加载中...
文件下载
加载中...
修改排序
加载中...
为什么1965年机器定理证明上会 出现 无法证明 两个连续函数之仍是连续函数
reinhard2017/03/23软件综合 IP:湖北
在读人工智能历史,发现很多地方都有这样一个表述:

“1965年,机器定理证明遇到瓶颈:计算机推了数十万步也无法证明两个连续函数之和仍是连续函数。”


而1958年,已经有人“用计算机证明了《数学原理》 命题演算部分的全部220条定理”

是由于那时的计算机对连续函数搞不定? 还是就是证明两个连续函数之和仍然是连续函数 这个命题比较特殊? 抑或是其他原因。

求先贤指点。
来自:计算机科学 / 软件综合
4
新版本公告
~~空空如也
reinhard 作者
8年1个月前 IP:湖北
832102
附: 证明两个连续函数之和仍然是连续函数的人工过程

设函数y=f(x)和z=g(x)是定义在X上的连续函数,作辅助函数u=y±z=f(x) ±g(x)
任取x∈X,给x一个增量Δx,相应的有
Δu=u(x+Δx)-u(x)
   =[f(x+Δx) ±g(x+Δx)]-[f(x)±g(x)]
   =[f(x+Δx)-f(x)] ±[g(x+Δx)-g(x)]
   =Δy±Δz
由于函数y=f(x)和z=g(x)在点x处连续,所以当Δx→0时,Δy→0,Δz→0,于是Δu→0。
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论
rb_sama
8年1个月前 IP:湖北
832121
因为计算机的运算都是离散化的?
只能无限逼近拟合吧
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论
warmonkey
8年1个月前 IP:广东
832154
引用 rb-sama:
因为计算机的运算都是离散化的?
只能无限逼近拟合吧
命题证明不是做数值计算,它这个是用符号数学做逻辑推理
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论
RodTech
8年1个月前 IP:广东
832159
参考cas系统的历史
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论

想参与大家的讨论?现在就 登录 或者 注册

所属专业
所属分类
上级专业
同级专业
插入公式
评论控制
加载中...
文号:{{pid}}
投诉或举报
加载中...
{{tip}}
请选择违规类型:
{{reason.type}}

空空如也

笔记
{{note.content}}
{{n.user.username}}
{{fromNow(n.toc)}} {{n.status === noteStatus.disabled ? "已屏蔽" : ""}} {{n.status === noteStatus.unknown ? "正在审核" : ""}} {{n.status === noteStatus.deleted ? '已删除' : ''}}
  • 编辑
  • 删除
  • {{n.status === 'disabled' ? "解除屏蔽" : "屏蔽" }}
我也是有底线的