序数的可计算性与邱奇..CK是Church-Kleene的缩写,两位数学家Alonzo·Church和Stephen·Cole·Kleene共同定义了可计算序数:一个序数α是可计算的,当且仅当集合α存在一个位于Ν上的可计算关系。【注