数学における自然数みたいなものの定義、が形成する概念を、たとえば数式の3という表記が指示する概念が、我々が日常見てる、3個のりんごやひもとその3倍のひもが並べられてる光景や、時計の長針と短針が三目盛り分ずれてるみたいなのから得られる共通の世間一般に3とよばれる性質と同じだと思うのは、すでに「解釈」なんだよな。
数学において3、「0の次の次の次の数」と自然言語では説明されるような概念はただの操作対象である記号列でしかない。
その記号列にどんな意味を持たせるかは、「物理現象の中に見いだされる3という性質」以外にもあるかもしれないし、ないかもしれない。
「直線と呼ばれるものの定義」についても、幾何的なイメージで解釈するのも、イデアル?だかで解釈するのも勝手。日常生活の個数や順番などとして見出される3の性質も、それと同程度に解釈でしかない。
トポロジーなんかが典型的だと思う。あれが示す証明が、幾何的なイメージとしての立法を内包する何かに対する性質を示してると考えるのは解釈でしかない。
そうすると自然言語で認識してる3や△というのは、たとえそのもっとも理想的なものを持ち出しても、数学の定義にとっては一段レイヤーの低いイデアということになるかもしれない。
数学の定義に対して、複数の3や三角形というイデアが解釈として結びつくなら、数学の定義はメタイデアか。
その前は、定義もまたイデアとするなら、3や三角形は物理的イデア、と物理的を冠して存在する領域を区別すればいいのかなとか思った。
3って90度回転させるとおっぱいみたいになるよ