作者：Ruqian Lu
摘要
论文关键词：Turing Machine, Kolmogorov Complexity, Category Framework, Turing Degree, Rigorous Framework
论文评审过程：
论文官网地址：https://doi.org/10.1007/s11704-016-6905-4
