【Paradox】Stellaris ステラリス 64【Paradox】

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
■前スレ
【Paradox】Stellaris ステラリス 63【Paradox】
http://egg.5ch.net/test/read.cgi/game/1511935200/
英語Wiki
ttp://www.stellariswiki.com/Stellaris_Wiki
日本語Wiki
ttp://stellariswiki.info
ttp://wikiwiki.jp/stellaris/
公式サイト
ttp://www.stellarisgame.com/
Paradox Interactive社サイト
ttp://www.paradoxplaza.com/
日本語化MOD
ttp://steamcommunity.com/sharedfiles/filedetails/?id=681803404

■関連スレ
【Paradox】Stellaris ステラリス 翻訳作業用スレ 3
http://egg.2ch.net/test/read.cgi/game/1492738251/
【Paradox】Stellaris マルチ募集スレ 1
http://egg.2ch.net/test/read.cgi/game/1463811991/

転載元：http://anago.2ch.sc/test/read.cgi/game/1512398481/

>>823

>命題に誤りがあることの証明では？

まさしくその通り。
「最大の素数が存在する」と仮定して矛盾を引き出す。
よって、仮定の否定の証明とする（背理法）。
一般的に言えば、「存在すると仮定して矛盾を引き出すことで、存在しないことが証明できる」。

>別の場所にいたことの証明以外にどうやるの？

もっと限られた条件下では、別な証明方法もあるかも知れない。
例えば、ある重量制限のあるエレベーターに私がいたかどうかというとき、私以外の搭乗者の体重が明らかになっていれば、私の乗る余地がなかったことが証明されるケースもある。
機械の故障がない場合、私も乗っていてブザーが鳴らないということは矛盾する。
が、一番簡単なのはまさしく他の場所にいたこと、だ。
現在の科学では、同一時刻に複数の場所に存在する可能性は認められていないから。
両方に存在するという主張は矛盾する。