パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

リーマン予想解決される?」記事へのコメント

  • by Anonymous Coward on 2004年06月10日 20時32分 (#567295)
    この他に、ほぼ自明と見なされていながら
    証明はまだなされていない問題の例を
    いくつか挙げては下さいませんか。
    • by Anonymous Coward on 2004年06月10日 23時21分 (#567397)
      任意の自然数 n について以下のプログラムが停止することは、確かまだ証明されていないはずです。

      while (n > 1) {
        if (n % 2 == 0)
          n = n / 2;
        else
          n = 3 * n + 1;
      }
      親コメント
    • 「証明がされていない」と言い切るのはできませんけど、ケプラーの
      球体充填問題とかは普通の人でも見た目で「んー、それは正しいと
      思うけど」くらいの自明さはある問題じゃないですかね。

      これ、証明っていっても確かコンピュータによる計算で「これ以上の
      密度は計算上ありえない」みたいな根
    • by Anonymous Coward
      この場合、自明って言い方はおかしいと思うのだが。
      まず間違いなく正しいと見なされるというような言い方ならわかるんだが。

あと、僕は馬鹿なことをするのは嫌いですよ (わざとやるとき以外は)。-- Larry Wall

処理中...