콘텐츠
-
일관된
고전적인 연역 논리에서 일관성있는 이론은 모순을 포함하지 않는 이론입니다. 모순의 부재는 의미 또는 구문 용어로 정의 될 수 있습니다. 시맨틱 정의는 이론에 모델이있는 경우에만 이론이 일관성이 있다고 기술합니다. 즉 이론의 모든 공식이 참이라는 해석이 존재합니다. 현대의 수학적 논리에서는 만족할 수있는 용어가 대신 사용되지만 이것은 전통적인 아리스토텔레스 논리에서 사용되는 의미입니다. 구문 정의는 이론 φ { displaystyle varphi}가없고 φ { displaystyle varphi}와 그 부정 ¬ φ { displaystyle lnot varphi}는 세트 T { displaystyle T}의 요소입니다. A { displaystyle A}를 폐쇄 문장 세트 (공식적으로 "axioms")로 설정하고 ⟨A⟩ { displaystyle langle A rangle} (일부 A에서 지정된 { displaystyle A}에서 닫힌 문장 세트)를 지정합니다. 암묵적으로) 형식적인 연역 시스템. 공리 A A { displaystyle A}는 ⟨A⟩ { displaystyle langle A rangle}이 일치 할 때 일관됩니다. 이러한 의미 론적 및 구문 적 정의가 특정 연 역학에서 공식화 된 이론과 동등한 연역 시스템이있는 경우 논리, 논리를 완료라고합니다. 1918 년 폴 버 나이스 (Paul Bernays)와 1921 년 에밀 포스트 (Emili Post)에 의해 선고 미적분학의 완전성이 입증되었고, 1930 년에 커트 고델 (Kurt Gödel)에 의해 술어 미적분학의 완전성이 입증되었으며, 유도 공리 스키마와 관련하여 제한된 산술에 대한 일관성 증명은 Ackermann에 의해 입증되었습니다. (1924), von Neumann (1927) 및 Herbrand (1931). 2 차 로직과 같은 강력한 로직은 완전하지 않습니다. 일관성 증명은 특정 이론이 일관성이 있다는 수학적 증거입니다. 수학적 증명 이론의 초기 개발은 힐 버츠 프로그램의 일부로 모든 수학에 대한 초기 일관성 증명을 제공하려는 요구에 의해 주도되었습니다. 힐 버츠 프로그램은 불완전 성 이론에 의해 큰 영향을 받았는데, 이는 충분히 강력한 증거 이론들이 그들 자신의 일관성을 입증 할 수 없다는 것을 보여 주었다 (실제로 일관성이 있음). 일관성은 모델 이론에 의해 입증 될 수 있지만, 논리의 일부 모델을 참조 할 필요없이 순수한 구문 방식으로 수행되는 경우가 많습니다. 절단 제거 (또는 기본 미적분학이있는 경우 동등하게 정규화)는 미적분학의 일관성을 암시합니다. 명백히 절단없는 허위 증거가 없기 때문에 일반적으로 모순이 없습니다.
일관된 (형용사)
일관성의 철자 오류
일관된 (형용사)
정기적으로 발생하는 신뢰할 수있는 성격. 16 일 후반 c. 쓸데없는 의미의‘구성하다’
"중국에서 칭글 리쉬를 일관되게 사용하는 것은 초기 오락과는 별개로 매우 성 가실 수 있습니다."
"그는 정치적 선택에있어 매우 일관성이있다 : 경제는 좋든 나쁘 든 항상 노동에 투표한다!"
일관된 (형용사)
호환 가능하고 일치합니다.
일관된 (형용사)
일련의 진술 중, 논리적으로 모순이 따르지 않도록하십시오.
일관된 (명사)
공존하거나 서로 일치하는 물체 또는 사실.
일관된 (명사)
거룩한 성찬을 받도록 허락 된 일종의 참회 자.
일관된 (형용사)
견고성 또는 고정력 보유; 상사; 단단한; 고체.
일관된 (형용사)
그 자체 또는 다른 것에 동의하는 것; 그 부분들 사이에 조화를 이루고; 화합 유지; 아코디언 트; 조화로운; 합동 호환 가능; 제복; 모순되지 않습니다.
일관된 (형용사)
믿음이나 직업에 따라 생활하거나 행동하는 것.
일관된 (형용사)
(때로는`with)가 동의하거나 일관되거나 신뢰할 수있다.
"알려진 사실과 일치하는 간증"
"저는 제가 따르는 행동 과정이 전쟁 당시 대통령으로서의 책임감과 일치한다고 결정했습니다."
일관된 (형용사)
부품의 질서적이고 논리적이며 심미적으로 일관된 관계로 표시됩니다.
"논리적 논증"
"정렬 한 프레젠테이션"
일관된 (형용사)
재생 될 수있는 것;
"놀랍게도 재현 가능한 결과를 얻을 수 있습니다"
일관된 (형용사)
구조 또는 구성에서 동일;
"역청탄은 종종 일관되고 균질 한 제품으로 취급된다"
