第九卷, 第二期
计算与推理的相爱相杀
     —— 读《计算进化史》

王 桥

数学文化, 9 (2018), pp. 117-118.

查看节选 购买查看 672 30924
  • 摘要

image.png

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