电脑体验，效果更佳

可证图谱-社科哲学领域：

研究人员

刘大为 陈慕泽 贾国恒 孙明湘

相关术语

心灵与机器关系 可表达 不可判定 双重标准 真 哥德尔不完全性定理 不完全性 哥德尔定理

标签云