计算与推理的相爱相杀 —— 读《计算进化史》

数学文化
2018 | 第9卷第2期, pp. 117-118
Preview Buy Article · CNY $20 Full text requires purchase or subscription
作者
摘要

image.png

在人类的一切思维活动中，复杂程度最高的无疑是解决数学问题。而有效解决数学问题的可行途径，或许是用机械化的计算取代机趣过多的推理。数学家们对自身的思维规则进行越来越深入的探索，他们不断追问“什么是计算”，却发现面对的其实是天然相伴的孪生问题 ——“什么是推理”。几千年来，计算与推理上演了一幕又一幕的相爱相杀。

本期更多文章
编委合影
pp. 0-0
封面
pp. 0-0
历史照片
pp. 0-0
封底
pp. 0-0
订阅更新
分享