@Article{MC-9-2,
author = {},
title = {计算与推理的相爱相杀 —— 读《计算进化史》},
journal = {数学文化},
year = {2018},
volume = {9},
number = {2},
pages = {117--118},
abstract = {<p style="text-align:center"><img src="/uploads/ueditor/image/20200818/1597722166769467.png" title="1597722166769467.png" alt="image.png" width="191" height="243"/></p><p style="text-align: justify; margin-bottom: 10px; line-height: 1.75em;">在人类的一切思维活动中，复杂程度最高的无疑是解决数学问题。而有效解决数学问题的可行途径，或许是用机械化的计算取代机趣过多的推理。数学家们对自身的思维规则进行越来越深入的探索，他们不断追问“什么是计算<span style="text-align: justify;">”</span>，却发现面对的其实是天然相伴的孪生问题 ——“什么是推理<span style="text-align: justify;">”</span>。几千年来，计算与推理上演了一幕又一幕的相爱相杀。<br/></p>},
issn = {2617-8656},
doi = {https://doi.org/2018-MC-12289},
url = {https://global-sci.com/article/89471/%E8%AE%A1%E7%AE%97%E4%B8%8E%E6%8E%A8%E7%90%86%E7%9A%84%E7%9B%B8%E7%88%B1%E7%9B%B8%E6%9D%80%20%E2%80%94%E2%80%94%20%E8%AF%BB%E3%80%8A%E8%AE%A1%E7%AE%97%E8%BF%9B%E5%8C%96%E5%8F%B2%E3%80%8B}
}