Question

加藤

｢存在しない｣ことを示すのは背理法以外では不可能と聞いたのですが、なぜそう言えるんですか？誰か私を納得させてください…

Answer 1

✨ 最佳解答 ✨

ゲスト

無い物を証明することは難しいです。

例えば、真四角の石は存在しない　と唱えたとしましょう。

この宇宙のどこかに　真四角の石が存在するかもしれないから　全て調査する必要があります。不可能です。物理的に。

ならば真四角の石がある　と仮定して
その存在性を否定する手法が　圧倒的に　理にかなっているとおもいます。

加藤

あ〜、その｢モノ｣自体じゃなく｢存在性｣に次元を移して証明するってことなんですね
何となくわかったような気がします

ATB

【「存在しない」ことを示すのは背理法以外でも可能である】と仮定して、矛盾を導いてみるのも良いかと…w
冗談ですww
僕もゲストさんに賛成です。

加藤

その証明誰かにやってみてほしいですね笑

Answer 2

ゲスト

存在性に次元を移すとかの話ではなく証明法の話です。

加藤

あぁそうか、笑

Answer 3

访客

否定を示すことは一般的に難しいのです。
不可能とは限りませんがね。
背理法は天才的な発想だと思ってます。

加藤

そうなんですね…、確かに背理法で証明されたら誰も反対できなそうな説得力あります