汪峰在吧 关注:273,026贴子:21,677,776
  • 10回复贴,共1

提问,论战圈计算里的不动点是怎么回事

只看楼主收藏回复

我举个例子:可知ε0=w↑↑w(w的w层指数塔),而ε1=ε0↑↑w(ε0的w层指数塔,单个ε0相当于w的w层指数塔),(可知论战圈w应该为可计算的伪无限,有w+1>w,2w>w等等)是否可以单纯从计算角度推导塔的高度,得到ε1=w↑↑(w^2)(w的w^2层指数塔)


IP属地:浙江1楼2025-09-26 12:02回复
    d


    IP属地:浙江来自Android客户端2楼2025-09-26 13:00
    回复
      2026-02-08 07:40:38
      广告
      不感兴趣
      开通SVIP免广告
      d


      IP属地:浙江来自Android客户端3楼2025-09-26 18:13
      回复
        d


        IP属地:浙江4楼2025-09-26 20:50
        回复
          d


          IP属地:浙江来自Android客户端5楼2025-09-27 20:29
          回复
            d


            IP属地:浙江来自Android客户端6楼2025-09-27 22:48
            回复
              别把序数的>当成比较数量的大于,a>b只是表示a在排序位于b后面,


              IP属地:上海来自Android客户端7楼2025-09-28 01:46
              收起回复
                序数里ω+1不等于1+ω,前一个在量级上可以看作毁灭了单体外的一,后一个则是单体内的1,双箭头超运算是右结合的ω↑↑(ω+1)=ω↑(ω↑↑ω)=ε0,你的那个也是一样本质上属于在ε0的内部叠层,没有意义


                IP属地:上海来自Android客户端8楼2025-09-28 02:02
                收起回复