论坛>计算机科学>软件综合>机器学习
发表于《为什么1965年机器定理证明上会 出现 无法证明 两个连续函数之仍是连续函数》
warmonkey
9年8个月前IP:广东
832154
3楼
引用 rb-sama:
因为计算机的运算都是离散化的？
只能无限逼近拟合吧
命题证明不是做数值计算，它这个是用符号数学做逻辑推理
评论
文号 / 832154
warmonkey
万流景仰
名片发私信
学术分 12
总主题 379 帖总回复 8283 楼拥有证书：进士 学者 机友
注册于 2008/10/11 20:04:00最后登录 2026/10/12 22:44:46
主体类型：个人
所属领域：无
认证方式：手机号
IP归属地：0

个人简介

Cubesat

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