@hanage999 反証不能なテーマなんで、好きにするといい。
@hanage999 神の存在を証明できない一番の理由は再現性だよ。再現可能ならそれはただの法則であって神ではない。再現不能なら証明はできない。
fp+mc-21+タムロン90マクロはAFが全くダメだった。シグマ105マクロは何か普通に動いてた。
「ただし、グリムは、彼の証明が否定するのは、「人間理性によって理解可能な神」であって、神学そのものを否定するわけではないと述べている。（中略）つまり神は、理性では認識不可能な存在である。かりに神が存在するとしても（中略）、理性では立証不可能である。それが、ゲーデルの不完全性定理からグリムの導いた結論である」 https://blogs.yahoo.co.jp/w4105015/17789247.html
@hanage999 私が先ほど述べた神の定義は「不可能を為すもの」で、それ以上でも以下でもないよ。そちらが述べている神は「人間より可能な事が多い存在」。可能なことを一つ一つ検討してる印象がある。
@hanage999 矛盾なく全ての真偽を決定する系の存在は不完全定理により否定されているが、神は不可能をなすのならば矛盾なく全ての真偽を決定する系を用意できる。その系による解釈過程は私には想像できないが、解釈結果を再び元の系に持ち込む際、それは何か異常が起きている様に見えるだろう。
@hanage999 村人はただ言葉を述べただけで、その解釈が系の外にある規則で行われるだけ。解釈結果を再び系の中に持ち込むと何らかおかしく見えるはず。
@hanage999 不可能な事を為すのが神ならば、定義故にその事柄の不可能性は毀損されない。論理値を真偽の2値で表す系は、3値またはより多くの値を使う系で上書きされ、自己矛盾を伴う命題の多くは矛盾とは言えなくなる。村人は常に嘘をつきながら同時に真実を話す事が可能になる。
@hanage999 まあ定義が違うのは分かった。これ以上何か言うのは野暮というものだろう
@osapon radiko+FM が入ってる機種なら…。あと海外版スマホではFMラジオアプリ残ってたりします
@hanage999 例えば村人が「私は必ず嘘をつきます」と言ったらその正誤は決定不能なんだけど、神なら決定できるの？
@hanage999 不可能な事を為すのが神ならば、その事柄の不可能性は維持されるのだろうか？
PCをUSBマスストレージに見せかけるソフトが欲しいけど、そんなのあるんだろうか…？
これでボディもレンズも防滴になったので、雨の日も安心。（厳密にはパナレンズは同社ボディでないと防滴ではないらしいが、気にしない）
