- 367 名前：１３２人目の素数さん mailto:sage [2007/08/03(金) 16:37:07 ]
- >>366
LKって別に普通の証明を記述するための体系ではないよ。
またcutを除去すると証明は甚だ重複の多い読みにくいものになる。
cutの除去はあくまで無矛盾性証明のためのプロセス。
こういうことはロジシャンには常識なんだが、一般人はまず知らない
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド その３
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef