2024.07.12
https://gyazo.com/f841d83b443f256ca625f682b8841649
メモ
文明レベルはその知的生命が生産出来るエネルギーのレベルによって測れる
という考え方だが,これを計算能力版はあるのだろうか?
置き換えたりしてみよう
文明の発展レベルはその知的生命が利用可能な計算能力によって測られる。このゲームの目的は、頑張って文明を発展させ、人力の手計算からコンピュータへ、そしてマシンをより進歩させて、惑星規模のコンピュータや時間遡行コンピュータ、並行世界を利用したコンピュータなどを完成させることだ。
思った
やった
思った
勘違いしていたのだが,様相論理$ \Lambda_1, \Lambda_2で$ \Lambda_1 \leq \Lambda_2だとして$ \Lambda_2が決定可能なら$ \Lambda_1も決定可能だと思っていたのだが,別にそうでもない.
正確には$ \Lambda_1 \vdash \varphiの部分は決定可能($ \Lambda_2上で試せば良い)だが
$ \Lambda_1 \nvdash \varphiが決定可能で無いので半決定可能までしか言えない