- 635 名前：１３２人目の素数さん [2011/12/07(水) 13:10:46.45 ]
- >>634
>操作的意味論は、他の機械への写像を考えて、相対的に意味を検討する意味論。
機械が出てくる時点で数学（ヒルベルトの手法）からは遠い。
>だからモデル理論的手法を使うことが出来る。
だからって？操作的意味論はそういうものだから、ってこと？
>こういうものに意味がないと思う人は数学は向いてない。
こういうものって？けっこう特定したうえでその意味が不明と言って
いるのだが。それに今は「数学」はどうでもよいし。
