网页资讯视频图片知道文库贴吧地图采购
进入贴吧全吧搜索
葛立恒数二吧 关注：766贴子：65,333
  • 8回复贴，共1页

序数的可计算性与邱奇克林序数

只看楼主收藏回复

CK是Church-Kleene的缩写，两位数学家Alonzo·Church和Stephen·Cole·Kleene共同定义了可计算序数：一个序数α是可计算的，当且仅当集合α存在一个位于Ν上的可计算关系。
【注：序数的冯诺伊曼定义将任意序数视为所有比它小的序数的集合，在这个定义下集合0是空集，集合ω是自然数集N】
IP属地:安徽来自Android客户端1楼2022-07-10 22:23回复
    同时，所有可计算序数的上确界被称作“邱奇-克林序数”，记作ω^CK_1，它同时也是最小的不可计算序数。
    IP属地:安徽来自Android客户端2楼2022-07-10 22:23
    收起回复
      可计算关系▷
      IP属地:安徽来自Android客户端3楼2022-07-10 23:14
      回复
        你可以认为，这个有限长的算法中就蕴含着那个无限大的序数的全部信息
        IP属地:安徽来自Android客户端4楼2022-07-10 23:17
        收起回复
          ω^CK_1有多个等价的定义，其中一种通过两个玩家之间的对抗游戏来定义，具体的可以在知乎上搜索“如何理解大可数序数”
          IP属地:安徽来自Android客户端5楼2022-07-10 23:37
          回复

            扫二维码下载贴吧客户端

            下载贴吧APP
            看高清直播、视频！
            • 8回复贴，共1页
            发表回复
            发贴请遵守贴吧协议及“七条底线”贴吧投诉
            内  容:
              查看全部
            发 表
            保存至快速回贴