葛立恒数二吧 关注:847贴子:67,282
  • 3回复贴,共1

定义序数&【n】

只看楼主收藏回复

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


IP属地:山东来自Android客户端1楼2024-12-15 16:02回复
    定义&为sup{&【1】………},即使用有限个字符的一阶逻辑语言定义的序数运算不动点的上确界


    IP属地:山东来自Android客户端2楼2024-12-15 16:02
    收起回复