SlideShare a Scribd company logo
1 of 41
Download to read offline
無偶然論
髙橋数理研究所
info@nanyaka.info
nanyaka.info/tml
これから、神さまがサイコロを振らないことを証明しよう。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
全貌はこうだ。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
神さまがサイコロを振る確率を考えることで、
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
神さまがサイコロを振る確率がゼロだということを証明する。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
順に見ていきたいと思う。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
まず、神がサイコロを振る確率が0以上1以下だと仮定する。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
すると、神さまが、ご自分でサイコロを振るか、知らないことになる。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
これは矛盾だ。神さまは全知なのだから。従って、偽である。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
次に、神さまはサイコロを振ると仮定しよう。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
①から、神さまのサイコロは、目を0か1しか持たない。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
だから、場合分けをする。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
目が0なら、神さまがサイコロを振る確率は0になる。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
しかし、神さまはサイコロを振って0の目を出したので、矛盾だ。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
次に、サイコロの目が1である場合を考えると、
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
②より、サイコロにはもう1の目しか存在しない。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
サイコロ
ではない
これは、もはやサイコロではない。目が一つしかないのだから。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
だから、偽である。従って、確率が1である可能性もない。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
②と③から、どうやら神さまはサイコロを振らないようだ。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
でも、ほんとうにそうなんだろうか。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
神さまがサイコロを振らないことを知ることはできるのか。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知可知
知れるか、知れないか、で分岐させてみる。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知可知
まず、ほんとうは、知ることができないとする。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
知れないと知れたので
矛盾
可知
しかし、知れないということを知れた。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
だから、これも矛盾だ。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
残る選択肢は、
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
わたしたちは神さまがサイコロを振るかどうかを知れる。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
喜ばしいことに、わたしたちは、このことを知ることができるのだ。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
結論は、
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
神さまはサイコロを振らない。そして、そのことを人間は知れるのだ。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
神さまが成すことはどれも、偶然ではない。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
神さまは、あらかじめすべてを見通し、
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
神さまが成すことに、わたしたちを気づかせようとしている。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
神さまとの出会いは、初めは偶然に思えるかもしれない。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
でも、神さまはずっと待っていたのだ。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
すべてをご用意なさって、
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
すべてを忍び、
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
いつもわたしたちのそばにおられ、守っていてくださる。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
この証明を、神さまは喜んでくださるだろうか。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
ひとりでも多くの人が、神さまに導かれますように。
神はサイコロを振るか
振らない(確率0) 振る(確率1)
0<p<1
神が生起を知らない
事象がある
全知であることと
矛盾
偽
①
①より、目は
0と1の2つ
出目0 出目1
振っているので
矛盾
偽
②
②より、目は
1だけ
偽
③
サイコロ
ではない
神がサイコロを振るか
どうかを知れるか
不可知
偽
④
知れないと知れたので
矛盾
可知
真
⑤
アーメン。証明終。

More Related Content

More from dgbjdjg

ポリゴングラフとその応用
ポリゴングラフとその応用ポリゴングラフとその応用
ポリゴングラフとその応用dgbjdjg
 
正の奇数に対するゼータ定数の値について
正の奇数に対するゼータ定数の値について正の奇数に対するゼータ定数の値について
正の奇数に対するゼータ定数の値についてdgbjdjg
 
NavierStokes
NavierStokesNavierStokes
NavierStokesdgbjdjg
 
位数部のつくりかた
位数部のつくりかた位数部のつくりかた
位数部のつくりかたdgbjdjg
 
Measurement Conscious
Measurement ConsciousMeasurement Conscious
Measurement Consciousdgbjdjg
 
God's dice
God's diceGod's dice
God's dicedgbjdjg
 
Orbi theoryeng
Orbi theoryengOrbi theoryeng
Orbi theoryengdgbjdjg
 
Logic zoo ws 2013
Logic zoo ws 2013Logic zoo ws 2013
Logic zoo ws 2013dgbjdjg
 
ORN architecture DBMS
ORN architecture DBMSORN architecture DBMS
ORN architecture DBMSdgbjdjg
 
20121201 en
20121201 en20121201 en
20121201 endgbjdjg
 
20121009seminar ja
20121009seminar ja20121009seminar ja
20121009seminar jadgbjdjg
 

More from dgbjdjg (12)

Taskit!
Taskit!Taskit!
Taskit!
 
ポリゴングラフとその応用
ポリゴングラフとその応用ポリゴングラフとその応用
ポリゴングラフとその応用
 
正の奇数に対するゼータ定数の値について
正の奇数に対するゼータ定数の値について正の奇数に対するゼータ定数の値について
正の奇数に対するゼータ定数の値について
 
NavierStokes
NavierStokesNavierStokes
NavierStokes
 
位数部のつくりかた
位数部のつくりかた位数部のつくりかた
位数部のつくりかた
 
Measurement Conscious
Measurement ConsciousMeasurement Conscious
Measurement Conscious
 
God's dice
God's diceGod's dice
God's dice
 
Orbi theoryeng
Orbi theoryengOrbi theoryeng
Orbi theoryeng
 
Logic zoo ws 2013
Logic zoo ws 2013Logic zoo ws 2013
Logic zoo ws 2013
 
ORN architecture DBMS
ORN architecture DBMSORN architecture DBMS
ORN architecture DBMS
 
20121201 en
20121201 en20121201 en
20121201 en
 
20121009seminar ja
20121009seminar ja20121009seminar ja
20121009seminar ja
 

無偶然論