[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
79(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/02/07(火)15:08 ID:Gna27mNy(4/6) AAS
>>75
>誰も数学は記号操作だとはいってない
>藁人形論法御苦労様
それ、おサル>>5に、教えてあげてね
数学の中で、意味論大事と思うよ
外部ﾘﾝｸ:ja.wikipedia.org
意味論 (論理学)
意味論（いみろん）とは論理学の分野である。
数理論理学における意味論
言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず、与えられる公理に現れる単なる記号として扱われる。それに対し、もっぱらモデル理論と呼ばれる分野であるが、たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である。
上下前次1-新書関写板覧索設栞歴
あと 923 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s