tamamusi https://blog.hatena.ne.jp/tamamusi/ tamamusi’s diary https://tamamusi.hatenadiary.jp/ 晴れ。１８℃〜28℃、44％。下北沢方面に進出す。 チューリングのゲーデル解釈： ビール本屋のＢ＆Ｂでチューリング本を訳した3人からお話を聞く。群盲象をなでるの感はあったが、記憶に残ったこと。 ・ゲーデルの不完全性定理を計算可能性に置き換えたところ。「チューリングマシンが止まるか（計算可能）、止まらないか（計算不可能）は予め判定できない。」がゲーデルと等価なんだって。ほうほう。色々な文献を参照したり、専門的な素養がなくても、分かるらしいから原論文に挑戦してみようかな。人間の考えを基本的なパーツまで分解して、再構成しているから高校レベルの数学でも分かるらしいんだ。ふっ 数学好きはなんでも数式に落… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftamamusi.hatenadiary.jp%2Fentry%2F20150514%2F1431617100" title="5月14日（木）「今までは人のことだと思ふたに 漏れがしむとは こいつはたまらん」つうようなことにならんとイイんですが、閣議決定 - tamamusi’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-05-14 00:25:00 rich https://tamamusi.hatenadiary.jp/entry/20150514/1431617100 1.0 100%