ゲーデルはその不完全性定理を証明する際にゲーデル数を用いた。記号論理の命題にゲーデル数を割り当て、対角線論法の一種で証明も反証も不可能な命題があることを証明した。すなわち、証明も反証も不可能な命題に相当するゲーデル数があることを証明したの…

ネット広告のちまたには生成AIの美女があふれかえっている。たしかにリアルな描写であるけれど人工生成されているのは瞭然たつものがある。 多少の誤解を招く言い方をすれば、韓国の整形美人的といっていいだろう。勿論、それ以上の即席な人工感は強い。 小…

愚問かもしれませんね。時間もエネルギーも二つの異なる方向に割けないだろと指摘されたら、ぐうの音もでないかもしれないから。 言わんとすることは、数学や論理で使うのは抽象化の把握力であること。詩とか小説は具象化の把握力という点になるかな。 数を…

2024年はオーバーツーリズムが懸念されるほどインバウンドの海外旅行客が溢れるような年となった。コンビニエンスストアの人気とともにおにぎり美味しいというニュースが目につくようになった。 和食は安くて美味しくてヘルシーは当たり前の世の中になったが…

ファインマンの師匠のホイーラーは傑物でありました。ファインマンのノーベル賞講演で量子電磁気学にインスピレーションを与えた会話が引用されてました。 「ファインマン君、なぜ電子がみんな同じ電荷、同じ質量を持っているのかわかったよ！」「なぜなので…