■やっぱプログラムって算数できねえとだめ?■
■ このスレッドは過去ログ倉庫に格納されています
0224デフォルトの名無しさん
NGNG数学的帰納法さえ知ってれば、
「ム板は全部のスレが良スレ、もしくは全部のスレが全部駄スレのどっちか」
ってことも見抜ける。
証明 スレの総数Nに関する数学的帰納法
(1) スレの総数が1のとき確かに成り立つ。
(2) 総数Nのスレの集合について成り立つと仮定。
総数N+1のスレの集合Sを考えると
S={スレ1,…,スレN,スレN+1}
={スレ1,…,スレN} ∪ {スレN+1}・・・・・(a)
={スレ1} ∪ {スレ2,…,スレN,スレN+1}・・・・・(b)
(a)の{スレ1,…,スレN}をAとおくと、これは総数Nなので
帰納法の仮定より全部良スレか全部駄スレのどっちか。
(b)の{スレ2,…,スレN,スレN+1}をBとおくと、これも総数Nなので同様。
ここでスレNはAとBの両方に含まれるのでAとBの良駄は同じ。
よって総数N+1のスレの集合Sは全部良スレか全部駄スレのどっちか。
ゆえに(1)(2)より、どれだけスレを立てても板の良駄は
変わらんことが証明された。Nは任意なので2ちゃん全体でも同じこと。
#元ネタ ttp://www.cs.berkeley.edu/~allanl/funny/sci/proofs
■ このスレッドは過去ログ倉庫に格納されています