熱平衡化するかしないか、それが決定不能な問題だ 統計力学・スピン・チューリングマシン、難解の大決闘 | JBpress (ジェイビープレス)
https://jbpress.ismedia.jp/articles/-/67164