作为形式化可计算系统（各种等价与同构），其图灵完备在底层与高层都达到了显著的成就，但问题在于底层能有多底层（例如“单组合子完备性的最小公理系统，到底允许多强的模式匹配？）”，高层能有多高层（例如“人脑与意识的可计算性”）：
1.在底层，规约到SKI，如果在满足三条约束：
I.要求计算性等价于图灵完备
II.要求规则简洁
III.禁止隐式规则（比如λx.x x看似简洁但实际上需要整个λ系统与β规约作为规则的基底）
的前提下，单个iota组合子ι x = x ι(ι(ι(ι(ι)))) ι(ι(ι(ιι)))实现了最极致的压缩。
2.在高层，AI已经极大的模拟了人的表征语言行为，但是依旧存在幻觉，还没有自指与主体，HOT-2，3，4依旧是天堑。
从还原论的视角，其是否又具备真正能抵达至底层与真正的高层的能力与潜力？
从哲学层面讲，人是一切社会关系的总和，是基因的总和，是记忆的总和，是环境情景输入与条件反馈输出的规则总和（若是承认宿命论，牺牲了自由意志的前提下又是否代表抽象成函数的可能？），不是be，而是being。人之所以是，也是人因不断是而是，并将是其所是，从这个角度讲，这种（真正智能）的高层又是否难以抵达？
