2019年6月13日

数学は内証的規則の集合

私が「数学はそれ自体の規則の集まりなので、その内部での詳しさは外部的にはプラモデルを組むのと本質的に違いはない(不完全性定理でいう内証性)」と説明したところ、或る物理関係の教師らしき人物が馬鹿だと罵ってきた事があった。この人は物理にとって数学という道具が内部的な機能しかないと知らず、真理と同等のものだと思っているのかもしれない。或いは数学自体の応用範囲はプラモデルより広いと思い上がっていて、それ自体の内証性の意味を把握できなかったのかもしれないが、どちらにしても、数学それ自体は真理ではない。唯の規則である。