コトバンクはYahoo!辞書と技術提携しています。

完全性定理 かんぜんせいていり completeness theorem

1件 の用語解説(完全性定理の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

完全性定理
かんぜんせいていり
completeness theorem

論理計算について,すべてのモデルで真な命題は論理計算で証明可能であるという,論理の完全性を保証する定理。ここでモデルは,可算集合として構成可能になる (→可算 ) 。通常の論理についてゲーデルの定理が有名であるが,直観主義論理についてはクリプケの定理がある。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

完全性定理の関連キーワードブール代数論理演算論理計算デジタル計算機パーツモデル愛はすべての上にすべての石の下にアインシュタインのモデル類似モデル計算回路

今日のキーワード

パラチオン、パラチオンメチル

パラチオンは無色で油状の液体、パラチオンメチルはコハク色の液体。ともに毒性が強く、有機リン系殺虫剤として使用された。50年代以降、稲の害虫被害を防ぐことが確認され、広く導入された。しかし、農民の中毒死...

続きを読む

コトバンク for iPhone

完全性定理の関連情報