- 634 名前：１３２人目の素数さん mailto:sage [2011/12/07(水) 12:19:12.81 ]
- 操作的意味論は、他の機械への写像を考えて、相対的に意味を検討する意味論。
ヒルベルトが幾何学の無矛盾性を算術の無矛盾性に還元したのと同じ手法。
だからモデル理論的手法を使うことが出来る。
こういうものに意味がないと思う人は数学は向いてない。
直感でしか理解したくないのなら数学は必要ない。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef