202007700

この世界を記述する方程式はチューリング完全である。初期値をうまく取って時間発展させることで、任意のチューリングマシンを模倣できる。一方で、例えば移流方程式の上にチューリングマシンを作るのはおそらく不可能である。拡散方程式もたぶん無理。チューリング完全かどうかの境目はどこにあるのか?

非線形な結果を得るためには、少なくとも方程式が非線形でないといけないように思える。つまり電子などと相互作用しない純粋なマクスウェル方程式はたぶんチューリング完全でない。古典重力多体系はどうなんだろう。