2023.08.31
https://gyazo.com/a065a4f18efe036fbcfae0e50b8aa1b0
観た
?????????
思った
QuizKnockのクイズで一番印象に残っているのが「今、何問目？という文字列を現在の問題番号で置き換える」というルールの元で「今、今、何問目？問目？」という問題を出題すると任意のタイミングで出題しても答えが「はい」となる現象で、あれは論理学上でのちょっとしたアナロジーに使える気もする ちょっとバズってた
ところで…
ゲーデル数の対角化やん。
各論理式にゲーデル数という自然数をダブり無く割り当て、「ゲーデル数$ nの論理式は証明不能」という命題を考える。 この命題を表す論理式$ \varphi(n) ($ nに依存する)は存在する。$ \varphi(n)のゲーデル数が$ nとなるような$ n = mは存在するので，$ \varphi(m)は「$ \varphi(m)は証明不能」を表す。
これをおれに引用されても全く何の学びにもならない（おれに教えているつもりではないと思う．）
この引用のことなど分かっている上で，このクイズの状況が直ちにGödelの不完全性定理的な状況を表しているかといわれれば疑問があるという考えの上のツイートなので， 感情がグニャグニャに
なんなら上の議論はちょっと怪しい気もする
算術の適当な拡大理論$ Tを固定して，$ Tにおいて証明不能などの前置が抜けているところなどが…
140文字だからというのを考慮しても
知った
何？
いいね
いいね
読んだ
おもろいな〜
こういうインタビューの読後の上でまたやるのも楽しそうだな〜と思う
最近，また東方への熱意が高まっている
メモ