汪吧对论外的定义是怎样?
汪峰在吧
全部回复
仅看楼主
level 10
唐笑源 楼主
论外的下限是什么?阿列夫一吗?
阿列夫一可以通过常规无限递归式构造得到吗?
还是说只能通过描述得到?
把我随便写的盒子这个AI,出来了个马洛基数合理吗?
设定第一次计算为N^N第二次计算为(N^N)^(N^N)以此类推,进行了相当于无限次计算后得到数值被包含在了更大的数内,将这个更大的数带入前文进行无限次计算后的数值也被包在更大的数上,这样的数有着无限个
而有一个大数包含着这样的无限个数且这无限个数之间无论如何增加也无法达到
2025年06月07日 10点06分 1
level 10
是阿列夫一,阿列夫一是不可数的,不能用一切递归手段达到,不止阿列夫一,包括从ck序数往上的所有不可计算序数都无法用递归抵达
2025年06月07日 11点06分 2
1