User blog comment:Ubersketch/Fundamental sequences for CK and higher?/@comment-35295276-20181025210550/@comment-34422464-20181026004438

As I suspected, CK is uncomputable.