Davis的书到第八章结尾时，国产两个AI都开始飙胡话了。说不明白为什么纯命题逻辑系统是可判定的，Linial和Post构造的扩展命题逻辑系统出现了不可判定问题，而且不是因为混合了计算与逻辑象组合子系统那样直接炸出柯里悖论。晚上我再问问Gemini看看行不行。 ​