送交者: 雅诗 于 2005-4-13, 20:33:53:

回答: RE:从赵爽、欧几里德谈到当今的实验数学流派 由 mangolasi 于 2005-4-13, 16:22:23:

四色定理的机器证明，不是通过举例验证的。它理论上是举出了所有的pattern, 然后通过计算机验证的。它的问题是计算机可能犯错误，而人又不能发现该错误，因为实在太长了。

最近有数学家宣称找到一种人类可能可以检验的证明，他们有 六百多种情况，以前的有壹千多种。

• ”最近有数学家宣称找到一种人类可能可以检验的证明“。。。 - 自如 (303 bytes) 2005-4-14, 10:44:29
  • 谢谢。 - 雅诗 (94 bytes) 2005-4-14, 12:24:21
  • 谢谢。 - 雅诗 (94 bytes) 2005-4-14, 12:24:17

加跟贴