荣耀之链论坛

 找回密码
 立即注册
搜索
查看: 12|回复: 1

大小王比所有数字牌大

[复制链接]

1374

主题

2504

帖子

1万

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
10697
发表于 2025-9-8 11:42 | 显示全部楼层 |阅读模式
举个例子,如果把扑克牌里的数字牌拓展,让每个自然数都有对应的数字牌,我们还是可以规定大小王比所有数字牌大。


https://www.bilibili.com/video/BV1dC41137qn/
这个视频下面的一个回复里面的一个评论
感觉有点意思
回复

使用道具 举报

1374

主题

2504

帖子

1万

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
10697
 楼主| 发表于 2025-9-8 11:54 | 显示全部楼层
那我现在定义一个新的数叫做“比你大的数”,不管是什么阿列夫不可达基数的,我的定义就是比能说出来的数更大
因为这就是个定义,不需要说它大到那里,它的定义就是比一切能表达出来的数都大


然而这玩意的定义就是总能有个比你更大定义数的定义,你定义的这玩意出来就是能被另外一个大数定掉了,你以为类似这种的玩意数学家没构思过?


到了大基数领域数的大小就已经不重要了,位于最上方的莱因哈特基数未必有不可达基数大,而单单是比较简单的正确基数经过简单的定义就可以在你所提及的数大小上吊打各种大基数公理。

但是就像人们所想的那样,在大基数领域,单纯数字的大小能带来的意义并不大。他们要的是“一致性强度”,意思就是,一致性强度更高的大基数公理总可以证明一致性强度更低的大基数公理的存在,或者说是它的一致性。换言之:A总能证明比B多的多的东西。

但你单纯声明一个“比一切数更大的数”是没有什么,实际性作用的,因为哪怕是最基础的集合论模型都有类似的事物:比如说全体集合V,全体序数Ord。它们甚至都算不上一个集合,而是一个真类。

而这种规定上大小看起包覆一切的概念本身却不能让我们带来更多的东西,就像一个袋子,你得要用那些“有用的东西”给它撑起来才行。


这个定义实际上没有进行任何准确的定义。而是一个“”待用”空集,你并没有对其的合法性进行言说。而且你无法对其合法性进行言说,(其实就是绝对无穷)


你这不是定义就是日常语言在形式逻辑上的无效应用,逻辑上的不良定义,导致A>A成立,导致A=空集,A严格<A和所有数


你这个数比能说出来的数都大,那它也比“比你大的数”更大,所以这个数小于本身,不良定义秒了



回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

荣耀之链

GMT+8, 2025-9-10 20:04 , Processed in 0.012375 second(s), 20 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表