> > 四色問題の証明まだぁ? > もう解かれてる > まだなのはメジャーなところでは > ポワンカレ予想、リーマン予想、ケプラー予想あたりか 四色問題ってコンピューターの力技で強引に証明したのであって ほぼ完全ではあるが完全に解かれてはいないんじゃなかったか 参考:2003/06/14(土)00時06分35秒