Year: 2018
数学文化, Vol. 9 (2018), Iss. 2 : pp. 117–118
Abstract
在人类的一切思维活动中，复杂程度最高的无疑是解决数学问题。而有效解决数学问题的可行途径，或许是用机械化的计算取代机趣过多的推理。数学家们对自身的思维规则进行越来越深入的探索，他们不断追问“什么是计算”，却发现面对的其实是天然相伴的孪生问题 ——“什么是推理”。几千年来，计算与推理上演了一幕又一幕的相爱相杀。
You do not have full access to this article.
Already a Subscriber? Sign in as an individual or via your institution
Journal Article Details
Publisher Name: Global Science Press
Language: Multiple languages
DOI: https://doi.org/2018-MC-12289
数学文化, Vol. 9 (2018), Iss. 2 : pp. 117–118
Published online: 2018-01
AMS Subject Headings:
Copyright: COPYRIGHT: © Global Science Press
Pages: 2