葛立恒数二吧 关注:943贴子:69,522
  • 10回复贴,共1

一个离谱的叙述表示法。

只看楼主收藏回复

对于任何的一个叙述直接把他的所有w变成3,然后把它展开之后,再把所有w变成三。
或者说曲奇基本类的第三项,再去取基本的第三项,直到它变成一个后继叙述,然后把它后记的部分拿走,再去基本里的第三项,以此类推,直到最后变成零,把所有拿走的普通数字全部加起来,得到一个结果。
那么使用这种方式,所有的叙述都可以转化为一个常数。那么
再定义一个函数,这个函数中输入一个常数,就可以把这个常数变成另一个叙述
这个叙述是所有使用上一种方式。能够获得这个常数的叙述中最大的那一个。
那么如果我们在这个函数里输入w,是不是就可以让它的基本列变成非递归的了?


IP属地:河北1楼2024-05-09 13:33回复
    不能。因为不存在一个对w1CK之下所有序数的通用基本列


    IP属地:天津来自Android客户端2楼2024-05-09 18:19
    回复
      2026-01-02 15:31:56
      广告
      不感兴趣
      开通SVIP免广告
      事实上,所有可数极限序数的基本列都有 ω_1个,而指定一个序数的“标准基本列”,是需要序数记号来定义的,也就是说,本帖的这个函数必须建立在一个序数记号的基础上才能良定义。但是ω1CK是递归序数的上确界,所以不存在一个递归记号能描述所有小于ω1CK的序数的标准基本列。所以本函数不良定义。


      IP属地:天津来自Android客户端3楼2024-05-09 18:24
      收起回复
        另外,《叙述》《曲奇》


        IP属地:天津来自Android客户端4楼2024-05-09 18:27
        回复
          玩序数增量玩的
          @GoggolΩ 如何评价?


          IP属地:河北5楼2024-05-10 17:15
          回复
            f(3^3^3+1)这个点有问题


            来自Android客户端6楼2024-05-12 14:18
            收起回复