RE:从赵爽、欧几里德谈到当今的实验数学流派



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

送交者: mangolasi 于 2005-4-13, 16:22:23:

A quick note: as memory serves correctly, 4-color map problem was "proved" by that way. A bit pity, since the origin of the problem is almost purely aesthetic and most people thought (at the first sign) that there must be a elegant and logical proof. Eventually I heard that the computer output for the proof is very huge thus dirty and ugly.



所有跟贴:


加跟贴

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

标题:

内容(可选项):

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


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