网页
资讯
视频
图片
知道
文库
贴吧
地图
采购
进入贴吧
全吧搜索
吧内搜索
搜贴
搜人
进吧
搜标签
日
一
二
三
四
五
六
签到排名:今日本吧第
个签到,
本吧因你更精彩,明天继续来努力!
本吧签到人数:0
一键签到
可签
7
级以上的吧
50
个
一键签到
本月漏签
0
次!
0
成为超级会员,赠送8张补签卡
如何使用?
点击日历上漏签日期,即可进行
补签
。
连续签到:
天 累计签到:
天
0
超级会员单次开通12个月以上,赠送连续签到卡3张
使用连续签到卡
10月25日
漏签
0
天
逻辑吧
关注:
115,466
贴子:
602,650
看贴
图片
吧主推荐
游戏
3
回复贴,共
1
页
<返回逻辑吧
>0< 加载中...
如果一个东西被证明必然无法找到,是否等价于不存在
取消只看楼主
收藏
回复
待我想一下
初识体系
6
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
我之所以发在逻辑吧,是想知道,从逻辑的角度来说,这两个命题是否可以认为等价。
首先这两个命题肯定是有关系的。
不存在的东西肯定必然无法找到,但是反过来呢?必然无法找到的东西是否一定不存在。
送TA礼物
IP属地:安徽
1楼
2023-12-18 21:40
回复
待我想一下
初识体系
6
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
各位请注意,我说的必然是逻辑上的必然。
这么说吧,我之所以问这个问题就是因为在一个数学证明中用到了这个推断,但是无法理解,所以来问的。
我可以从逻辑上证明一个对象必然无法找到,再次强调“必然”。这是否等价于我已经证明这个对象不存在。
这里不是大海捞针,不是技术不够,不是运气不好,甚至不是概率为0之类的原因而导致无法找到,他就是“必然”。
IP属地:安徽
6楼
2024-01-02 00:36
回复(5)
收起回复
待我想一下
初识体系
6
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
虽然很多人没理解题目的意思。但是讨论还是有启发的。
事实上我们证明一件事,是找到了这件事与已知事件之间的联系。
如果一件事是纯粹孤立的,和这个宇宙中的其他任何事物都没有联系。那么其存在性就是必然无法证明的。
但是其依然可能存在。
IP属地:安徽
15楼
2024-07-02 15:24
回复
收起回复
待我想一下
初识体系
6
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
所以,是否存在“必然无法证明其存在”,但是又”确实存在“的事儿,其实就是在问,是否存在绝对孤立的东西。
在现实世界,这样的东西有没有确实不好说。
但是在数学上,如果我们在ZFC公里体系下证明其必然无法存在,意味着这个命题独立于ZFC公里体系之外,这其实并不奇怪。
IP属地:安徽
16楼
2024-07-02 15:28
回复(9)
收起回复
登录百度账号
扫二维码下载贴吧客户端
下载贴吧APP
看高清直播、视频!
贴吧热议榜
1
男子开小米SU7冲撞多辆摩托车
2840850
2
英雄联盟S15将落地中国
2129992
3
足协开会反思世预赛国足0-7日本
2065112
4
郑钦文晋级东京站八强
1932255
5
费内巴切 1:1 曼联
1429012
6
中美南海撞机事件肇事美机将展出
1307350
7
美宣布向乌提供200亿美元贷款
1086840
8
腾格尔演唱宝可梦主题曲
1044591
9
刘国梁激励陈梦拿一次冠军不算成功
1007204
10
Re0第四集女主险被反派看光
760284
贴吧页面意见反馈
违规贴吧举报反馈通道
贴吧违规信息处理公示