23/02/07 15:08:06.88 Gna27mNy.net
>>75
>誰も数学は記号操作だとはいってない
>藁人形論法御苦労様
それ、おサル>>5に、教えてあげてね
数学の中で、意味論大事と思うよ
URLﾘﾝｸ(ja.wikipedia.org)(%E8%AB%96%E7%90%86%E5%AD%A6)
意味論 (論理学)
意味論（いみろん）とは論理学の分野である。
数理論理学における意味論
言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず、与えられる公理に現れる単なる記号として扱われる。それに対し、もっぱらモデル理論と呼ばれる分野であるが、たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である。