[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 2chのread.cgiへ]
Update time : 12/17 02:14 / Filesize : 227 KB / Number-of Response : 713
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

数学基礎論・数理論理学　その10

605 名前：１３２人目の素数さん [2011/11/30(水) 11:36:54.26 ]
>>586 >>587 >>589
ありがとうございます．参考になりました．
でもやはり表示的意味論の爽快感がどこにあるか不明です．
（健全性の根拠というのも内向きの意義のようですし）
λ計算の意味論は自明なほどに簡潔です．
プログラミング言語と表示的意味論とは本来似合わないのでは？
表示的，操作的，公理的の３分類もいまいちですね．
意味論といえば表示的に決まっているでしょう？
公理的意味論はむしろ証明論ですね．




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（ ´∀｀）＜227KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef