非数学的分野へのGödelの不完全性定理の応用
たまたま見た@yujitach先生の論文のコメント(↓引用)
ひとつ下の論文の為の研究を鋭意やっていた 2021 年の 5 月に、偶然吉田紅君の tweet で、一般のスピン鎖模型の長距離極限の振舞は Gödel の不完全性定理と同様の意味で決定不可能だという論文を知った。 ちょうど自分もスピン鎖模型の長距離極限を調べていたのと、僕としては業界が充分進歩すればこんな問題ぐらい一般に系統的に解けると思っていたので、かなり驚いた。 少し考えると超対称場の理論にも同様に決定不可能なこともわかって、秋の online lunch talk で発表してみたら、物理屋は皆一様に驚いていたようだったが数学者の皆様はそりゃそうだろうという反応。 「物理学者は百年遅れているな」と言われたりもした。
パッと見た感じどちらかといえば停止性問題の話じゃね?という気がするが全然何も読んでないのでわからない. 参考文献では
などもあった
物理学の専門家ではないので精査はしていない。
Memo
これはどちらかといえば停止性問題だったかもしれない