，则问题b被归约到问题a中，这被叫做图灵归约。

　　任意的可计算判定问题都能被图灵归约到任意判定问题中，在图灵归约的规则下，可计算判定问题是图灵度0，以停机问题为代表的不可计算判定问题无法进行图灵归约，不可计算判定问题是图灵度1。

　　图灵度、计算层级越高则问题越难，不可判定问题的图灵度是2（不可计算判定问题≠不可判定问题，前者远小于后者）。

　　其中人类所能计算的只有图灵度0的问题，图灵度1及往上都是人类无法触及、抵达的存在。

　　图灵度n介于算术阶层n和算术阶层n+1之间。

　　图灵度有着比算术阶层更加优秀的结构和定义。需要用超穷序数、超穷基数、大基数、……才能表示图灵度和算术阶层的层数。

　　图灵度和算术阶层之间并不是空无一物，它们每一层级之间存在着无数不可思议的结构，任意图灵度n/算术阶层n和图灵度n+1/算术阶层n+1之间存在着无数（远超各种超穷序数、超穷基数、大基数、……）类似图灵度和算术阶层的结构（n和n+1之间存在的是无数套完整体系，而不是n和n+1之间所附庸的“等级细分”——虽然这无数套完整体系本就是附庸，“无数”的参考范围是超限序数、超限基数、大基数、……）。

　　图灵度n和算术阶层n，以及n和n+1中间的无数类似结构、完整体系，其都是无限向上延伸的！每一级之间的差距都是断裂的而不是连续的，需要类似有限数迁跃到阿列夫零、阿列夫零迁跃到不可达基数一样的“图灵跳跃”才能抵达。

　　任何利用大基数、大大基数、大大大基数、……、真类无限、大全集、超类、集宇宙、集多元、数学宇宙、终极数学宇宙、终极数学多重宇宙、可构造宇宙、终极可构造宇宙、v=l、v=终极l、…………等等等等能够定义的图灵跳跃都逾越不了下一个超越度（图灵跳跃的超越度是0），超越度之间的跨越利用的是超跳跃，超越度同样如同图灵度、算术阶层一般无限向上绵延。

　　（定义计算器或计数器:

　　φ（0）=图灵度，φ（1）=超越度，…………

　　φ（0）=图灵跳跃，φ（1）=超跳跃，…………）

　　请收藏：https://m.ncjsf.com

（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）