- 169 名前：デフォルトの名無しさん mailto:sage [2007/12/29(土) 00:24:27 ]
- >>167
数理論理学とコンピュータ・プログラムの間には深い関連性がある。
Ａ．近代論理学の開祖であるフレーゲの概念記法を出発点とするゲンツェンの自然演繹
Ｂ．チャーチの型付きラムダ計算
２つのモデルはカリー・ハワード対応によって同型として対応付けられる。
つまり、論理学の問題と言っているのは、実はコンピュータ・プログラムの問題と言っているのと同じなのだ。
QED.
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
関数型言語ML(SML, OCaml, etc.), Part 5
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef