计算机能学会算计吗  

作　　者：黄向阳[1] 

机构地区：[1]中国人民大学统计学院

出　　处：《中国统计》2021年第9期47-49,共3页China Statistics

摘　　要：计算已机械化了,证明还没有机械化。当然,证明和计算之间,并没有一条不可逾越的鸿沟:--吴文俊《王者之路--机器证明及其应用》本期居然会一头扎进我向来敬而远之的领域,对硅基智能体(人工智能)进行带有哲学意味的讨论,完全是意外的惊吓。就我对人工智能简史的了解,对人工智能的所谓哲学思考,运气好的是变成谈资和轶事,运气不好的就会沦为笑柄。那么我怎么还要趟这个雷,而且是在统计科普中呢?要怪还是怪对“计”字和“算”字的咬文嚼字。

关 键 词：人工智能 智能体 计算机 哲学意味 机器证明 吴文俊 咬文嚼字 运气 

分 类 号：TP18-02[自动化与计算机技术—控制理论与控制工程]