この世の物理法則を、その物理法則に従って動いている物体 (ヒトなど) が理解できる、というのはおもしろい。「理解できる」を「ある方程式の解で、その方程式自身を模倣する機械を構成できる」的に定義すれば、ある物理法則がその性質を持つか厳密に議論できそう。チューリングマシンで万能チューリングマシンを構成できるのと似た議論がしたい。白状しておくと、うまい定義を作れなくて「…的に定義」などと書いて誤魔化した。
仮にうまく定義が作れたとして、それが可能な方程式の集合はどんなものか。まあチューリング完全な 1d セルオートマトンすら非自明なのだから、あまり現実的な問いではないだろうけれど、何か具体的に手が届く問題を考えられないものかな。