@Article{MC-9-117,
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/},
url = {http://global-sci.org/intro/article_detail/mc/12289.html}
}