2018-05-17

存在しないことの証明」って無理じゃない?

せめて「存在しない可能性が高い」ぐらいしか言えないじゃん。

唯一「存在することを証明できなければ、存在しない」とは言えるかもしれない。

でも、増田だと存在証明せずに「観測範囲が狭い」とかいって存在しないことだけを証明させようとしてくるじゃん。

  • anond:20180517095538

    悪魔の証明って奴な でも存在しないことを証明できなくて「観測範囲が狭い」っていう指摘は無いだろ。 だって広げたら見つかる確率が上がる方向じゃん。

  • anond:20180517095538

    「3 以上の自然数 n について、x^n + y^n = z^n となる自然数の組 (x, y, z) は存在しない」ことは証明されたぞ。

    • anond:20180517095809

      適当なフカシこいただけで 実際にちゃんと証明したワイルズよりも有名なフェルマーとかいう畜生を許すな

  • anond:20180517095538

    数学とか物理なら可能でしょ

  • anond:20180517095538

    「現在、この地球上に身長100mのホモ・サピエンスは存在しない」ことは証明できるぞ。

  • anond:20180517095538

    証明できないは言い過ぎだけど 確かに、「存在しない」ことを示す証明はものすごく難しい印象があるね フェルマーの最終定理 3以上の自然数 n について x^n+y^n=z^n となる自然数の組 (...

    • anond:20180517100955

      「1 + x = 1 を満たす自然数xは存在しない」とかだったら簡単じゃね。

    • anond:20180517100955

      この辺の証明って問題にしてる事象の定義を利用してこれが当てはまるなら定義から外れるっていうロジックなんだろうけど、現実世界のアバウトな感じに当てはめると詭弁って言われ...

  • anond:20180517095538

    不存在証明は困難であるだけで証明不可能なわけではない。 たとえば「いま自分の目の前に犬が存在するか」といえば、 目の前を見て存在しないことを確認すれば証明したと言っていい...

    • anond:20180517101151

      目の前の定義が必要かな 足元にいて見えなかった場合、足元は目の前か否か

      • anond:20180517101349

        足元も確認すりゃいいじゃん。 確認対象が非常な広範囲に散らばっているから困難、 というのが悪魔の証明のキモなので、 範囲を絞ってやればいくらでも不存在を証明できる。

        • anond:20180517101457

          そうすると「目の前とは前方の視界に入る範囲と足元である」という定義が生まれる

          • anond:20180517101842

            盲目の人が「自分は目が見えないので存在しない」も可能になるじゃん

          • anond:20180517101842

            普通に「その人の前方の空間」だよな。

            • anond:20180517102056

              俺はどっちかっていうと足元は「目の前」ではないと思うんだけど「足元確認しろ」というのは足元は目の前に含まれるという見解なんだよね やっぱり定義が必要だと思う

              • anond:20180517122444

                「確認できる範囲であれば不在証明はできる」というのが話の肝なんだから。「目の前」の定義なんかする必要がない。 別に「目の前」に足元が含まれようが含まれまいが不在証明がで...

                • anond:20180517123600

                  だから目の前ってどこまでなの? 3m先は目の前なの?5mは?20mは? お前が3m先まで犬がいないことを確認したとしても5m先まで目の前だと思う人に対しては証明にならんでしょ だから目の...

                  • anond:20180517124641

                    「目の前とは5m先までのことだ」という人がいたら5m先まで確認したらいいじゃん。 「確認できる範囲のことであれば確認して証明できる」という話なんだから「目の前」が確認困難な範...

記事への反応(ブックマークコメント)

アーカイブ ヘルプ
ログイン ユーザー登録
ようこそ ゲスト さん