好像Robertson et al的简化仍然需要计算机验证吧?
所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl
送交者: bingo 于 2006-5-26, 14:01:51:
回答: 这个猜想成为定理都20年了,这些民科和记者还在做“凄美的梦”:) 由 自如 于 2006-5-26, 12:14:55:
直到前几年才出现了能手工验证的简化。
所有跟贴:
加跟贴
所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl