计算机能学会算计吗

作者：黄向阳

来源：中国统计, 2021, (09): 47-49.

<正>计算已机械化了,证明还没有机械化。当然,证明和计算之间,并没有一条不可逾越的鸿沟。——吴文俊《王者之路——机器证明及其应用》本期居然会一头扎进我向来敬而远之的领域,对硅基智能体(人工智能)进行带有哲学意味的讨论,完全是意外的惊吓。就我对人工智能简史的了解,对人工智能的所谓哲学思考,运气好的是变成谈资和轶事,

• 单位
  中国人民大学