熱平衡化するかしないか、それが決定不能な問題だ統計力学・スピン・チューリングマシン、難解の大決闘 - 素粒子から宇宙まで