|
|||||
|
|
| 奇妙解题之二:计算机证明:数学黑洞153 | |
| 引用本文： | 郭继展.奇妙解题之二:计算机证明:数学黑洞153[J].电脑,1996(8). |
| 作者姓名： | 郭继展 |
| 作者单位： | 河北 |
| 摘 要： | 计算机科学的一个重要分支是机器证明,即用计算机来证明代数、几何、图论、物理、化学等不同学科的猜想、定理、公式.其真实意义不在于证明已知的东西,而在于证明或帮助人证明人的智力、能力和时间所不敢问津的问题,举世闻名的“四色定理”就是这样证明出来的.本文尝试证明一个颇具趣味性、学术性的问题:数学黑洞153.一、问题的提出人们都知道,太空中有黑洞.任何物质,一旦掉进了这个黑洞,就永远也出不来了.再看数学领域.正整数153,各位数字的立方和仍等于这个数153: |
| 本文献已被 CNKI 等数据库收录！ | |
