葛立恒数吧 关注:1,177贴子:57,345
  • 2回复贴,共1

定义序数&【n】

只看楼主收藏回复

使用不超过n个字符的一阶逻辑语言定义的序数运算不动点的最大上确界
&【7000】左右就可以过w1CK了(参考rayo在7000左右可以定义出BB,BB增长率略大于w1CK)


IP属地:山东来自Android客户端1楼2024-12-15 11:25回复
    其实就是rayo的序数定义


    IP属地:山东来自Android客户端2楼2024-12-15 11:54
    回复
      2025-08-05 11:20:17
      广告
      不感兴趣
      开通SVIP免广告
      定义&为sup{&【1】………},即使用有限个字符的一阶逻辑语言定义的序数运算不动点的上确界


      IP属地:山东来自Android客户端3楼2024-12-15 16:01
      回复