翻訳と辞書 Words near each other ・ コンパクト化 ・ コンパクト化 (物理学) ・ コンパクト収束 ・ コンパクト台 ・ コンパクト台付き函数 ・ コンパクト台付き関数 ・ コンパクト埋め込み ・ コンパクト埋蔵 ・ コンパクト天体 ・ コンパクト性 ・ コンパクト性定理 ・ コンパクト星 ・ コンパクト星の一覧 ・ コンパクト曲面 ・ コンパクト盤 ・ コンパクト空間 ・ コンパクト符号 ・ コンパクト道路 ・ コンパクト部分集合 ・ コンパクト銀河 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク コンパクト性定理 ： ウィキペディア日本語版 コンパクト性定理[こんぱくとせいていり] コンパクト性定理（）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。 ==歴史== 1930年にゲーデルが可算集合の場合について証明した。非可算の場合については、Anatoly Maltsevが1936年に証明を与えた〔Vaught, Robert L.: Alfred Tarski's work in model theory. J. Symbolic Logic 51 (1986), no. 4, 869–882〕〔Robinson, A.: Non-standard analysis. North-Holland Publishing Co., Amsterdam 1966. page 48.〕。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「コンパクト性定理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.