Year: 2012
数学文化, Vol. 3 (2012), Iss. 1 : pp. 97–100
Abstract
早在17世纪莱布尼茨就曾想过创造一种“普遍文字”，能够把人类的思想还原为计算，并且制造出强大的机器能执行这些计算。这意味着人类可以通过“让它算一下”的方式一劳永逸地解决几乎所有的问题。当然，人类发明计算机的最初目的应该仅仅是为了计算，而不见得是受到莱布尼茨梦想的驱动，而当计算机给出了关于四色定理的证明之后，人们似乎看到了实现莱布尼茨梦想的一道微弱的希望之光。
计算机真的能够完成数学的推理与证明吗？我们不敢妄下断言，但计算机正在改变数学却是不争的事实——无论你对此持乐观态度还是悲观态度，无论你喜欢这种改变还是不喜欢。
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/2012-MC-11536
数学文化, Vol. 3 (2012), Iss. 1 : pp. 97–100
Published online: 2012-01
AMS Subject Headings:
Copyright: COPYRIGHT: © Global Science Press
Pages: 4