コンテンツ
-
一貫した
古典的な演ductive論理では、一貫した理論は矛盾を含まない理論です。矛盾がないことは、セマンティック用語または構文用語のいずれかで定義できます。セマンティック定義は、理論がモデルを持っている場合にのみ理論に一貫性があると述べています。つまり、理論のすべての式が真であるという解釈が存在します。これは、伝統的なアリストテレスの論理で使用されている意味ですが、現代の数学的論理では、充足可能という用語が代わりに使用されます。構文定義は、式{{{displaystyle varphi}とその否定が両方ともφ{ displaystyle varphi}が存在しない場合にのみ理論T { displaystyle T}が一貫していると述べている¬φ{ displaystyle lnot varphi}は、セットT { displaystyle T}の要素です。 A { displaystyle A}を閉じた文のセット(非公式には「アクシオム」)とし、⟨A⟩{ displaystyle langle A rangle} A( displaystyle A}から証明できる閉じた文のセット(指定、おそらく暗黙的に)正式な演ductiveシステム。公理A { displaystyle A}のセットは、⟨A⟩{ displaystyle langle A rangle}の場合に一貫しています。これらのセマンティックおよび構文定義が特定の演forで定式化された理論と同等である演ductiveシステムが存在する場合ロジック、ロジックは完全と呼ばれます。センテンス計算の完全性は1918年にPaul Bernaysにより、1921年にEmil Postにより証明され、述語計算の完全性は1930年にKurtGödelにより証明され、帰納公理スキーマに関して制限された算術の一貫性証明はAckermannにより証明されました(1924)、von Neumann(1927)、およびHerbrand(1931)。 2次論理などのより強力な論理は完全ではありません。一貫性の証明は、特定の理論が一貫していることの数学的証明です。数学的な証明理論の初期の開発は、ヒルベルトプログラムの一部として数学のすべてに最終的な一貫性の証明を提供したいという願望によって推進されました。 Hilbertsプログラムは不完全性定理の影響を強く受けており、十分に強力な証明理論がそれ自体の一貫性を証明できないことを示しました(実際に一貫性がある場合)。一貫性はモデル理論によって証明できますが、多くの場合、純粋に構文的な方法で行われ、ロジックのモデルを参照する必要はありません。カット除去(または、存在する場合は同等の基礎となる計算の正規化)は、計算の一貫性を意味します。明らかにカットフリーの偽造の証拠がないため、一般に矛盾はありません。
一貫した(形容詞)
一貫したスペルミス
一貫した(形容詞)
定期的に発生する、信頼できる性質のもの。 16世紀後半から時代遅れの意味で「からなる」
「中国でのChinglishの一貫した使用は、最初の娯楽以外は非常に面倒です。」
「彼は政治的選択において非常に一貫性があります。経済の良し悪し、彼は常に労働者に投票します!
一貫した(形容詞)
互換性があります。
一貫した(形容詞)
一連のステートメント:矛盾が論理的に続くことはありません。
一貫性のある(名詞)
共存する、または互いに一致するオブジェクトまたは事実。
一貫性のある(名詞)
聖なる秘跡を受け取ることを許可されたときに援助することを許された一種の悔い改め。
一貫した(形容詞)
硬さまたは固定性を所有している;当社;ハード;固体。
一貫した(形容詞)
自分自身または他の何かと合意する。その部分の間で調和を持っている;団結を所有する;一致する;調和のとれた;調和のとれた;互換性あり;ユニフォーム;矛盾していません。
一貫した(形容詞)
信念や職業に沿った生活または行動。
一貫した(形容詞)
(時には「with」が続く)同意または一貫性のある、または信頼できる。
「既知の事実と一致する証言」
「私が従う行動方針は、戦時における大統領としての責任感と一致していると判断しました。」
一貫した(形容詞)
規則的で、論理的で、美的に一貫したパーツの関係によってマークされています。
「論理的議論」
「整然としたプレゼンテーション」
一貫した(形容詞)
複製可能
「驚くほど再現可能な結果が得られる」
一貫した(形容詞)
構造または構成全体を通して同じ。
「bit青炭は多くの場合、一貫した均質な製品として扱われます」