2024.09.22
https://www.youtube.com/watch?v=_dSgBsCVpqo
$ x_0,x_1,\dots,x_nと$ y_1,\dots,y_mを自由変数とする論理式$ \varphi_0(\vec{x},\vec{y}),\cdots,\varphi_n(\vec{x},\vec{y})について，それぞれの不動点となる論理式$ \psi_0({\vec{y}}),\dots,\psi_n(\vec{y})が存在する．すなわち
$ \mathsf{PA} \vdash \psi_i(\vec{y}) \leftrightarrow \varphi_i(\ulcorner \psi_0 \urcorner,\cdots,\ulcorner \psi_n \urcorner, \vec{y})が各$ 0 \leq i \leq nについて成り立つ．
GFLの系
$ m = 0とすれば不動点は文として取れる．
単項述語$ \varphi(x)に対して$ \sf PA \vdash \psi \leftrightarrow \varphi(\ulcorner \psi \urcorner)となる不動点$ \psiが取れる．
構成
$ h(x_0,x_1,\dots,x_k,0) = 0
$ h(x_0,x_1,\dots,x_k,n+1)
$ = i：ある$ h(\vec{x},n)R iで，$ \mathsf{PA} \vdash \mathrm{Proof}_T(n,\dot{\lnot}x_i)
$ = h(x_0,x_1,\dots,x_k,n)：それ以外
この$ hは
メモ
思った
単純に疑問なのだけども「一つのゲームだけ売っていて売上自体は非常に大きいが、万が一販売停止になった場合会社としての存続はほぼ不可能」という状態のゲーム会社はインディーゲーム企業と言うのではと思ったが違うのだろうか
観た
全部観ました．