3,094
个编辑
更改
→通用序数记号系统与[math]\displaystyle{ \omega_1^{CK} }[/math]
问题来了：同一序数 <math>\alpha</math> 在系统中有'''无穷多个代号'''，用不同代号构造出的 <math>H_\alpha</math> 会不会不同？
问题来了：同一序数 <math>\alpha</math> 在系统中有'''无穷多个代号'''，用不同代号构造出的 <math>H_\alpha</math> 会不会不同？
[[文件:Kleene记号系统O.png|缩略图|方法]]
'''图5'''：[[Kleene's O|Kleene 记号系统 O]] 的树状结构示意。每个自然数都是某个序数的代号——规则：|1| = 0（最底层）；|2^x| = |x| + 1（后继，沿着"2 的幂"链向上）；|3<math>\cdot5^e</math>| = li<math>m_n</math> |<math>\phi_e(n)</math>|（'''极限'''——'''记号里携带基本序列程序的编号 e，这正是 SRT 大显身手的地方'''）。所有构造序数都在这棵树上生长；树顶是 <math>\omega_1^CK</math>（无法被任何机械记号触及的边界）。
'''图5'''：[[Kleene's O|Kleene 记号系统 O]] 的树状结构示意。每个自然数都是某个序数的代号——规则：|1| = 0（最底层）；|2^x| = |x| + 1（后继，沿着"2 的幂"链向上）；|3<math>\cdot5^e</math>| = li<math>m_n</math> |<math>\phi_e(n)</math>|（'''极限'''——'''记号里携带基本序列程序的编号 e，这正是 SRT 大显身手的地方'''）。所有构造序数都在这棵树上生长；树顶是 <math>\omega_1^CK</math>（无法被任何机械记号触及的边界）。