”最近有数学家宣称找到一种人类可能可以检验的证明“。。。



所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl

送交者: 自如 于 2005-4-14, 10:44:29:

回答: 四色定理的证明跟abada说的不是一回事。 由 雅诗 于 2005-4-13, 20:33:53:

不是宣称,是确实无可置疑的证明了。

N. Robertson, D Sanders, P. Seymour, R. Thomas, "The four color theorem", JCTB 70 (1997), 166-183.

思路跟以前的证明一样,是将可能情况分为若干种CONFIGURATION。因为用到了许多新结果,CONFIG的数目只有数十个,用手工都完全可以验证。所以这个定理的成立在图论界不再有疑问。



所有跟贴:


加跟贴

笔名: 密码(可选项): 注册笔名请按这里

标题:

内容(可选项):

URL(可选项):
URL标题(可选项):
图像(可选项):


所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl