- 490 名前：１３２人目の素数さん [2014/02/10(月) 22:53:11.48 ]
- >> 488
たぶんここで使っている「完全（決定可能）」とは、
判定アルゴリズムがある、という意味の決定可能ではなく、
どんな閉論理式もそれ自身がその否定が証明できる、という意味の決定可能だと推測します。
しかしいずれも意味としても、
一階述語論理で恒真な（証明可能な）閉論理式全体は「決定可能」ではありません。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その14
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef