Axiom, Postulate, Axiomatic System   공리, 공준, 공리계

(2019-05-24)

Axiomatic Method, 공리적 방법

Top > [기술공통]
[기초과학]
[진동/파동]
[방송/멀티미디어/정보이론]
[전기전자공학]
[통신/네트워킹]
[정보기술(IT)]
[공학일반(기계,재료등)]
[표준/계측/품질]
[기술경영]
기초과학 >   1. 과학
[수학]
[물리]
[화학]
[지구,천체 과학]
[생명과학]
[뇌과학]
수학 >   1. 수학
[기초수학]
[집합,논리]
[해석학(미적분 등)]
[대수학]
[확률/통계]
[수치해법]
집합,논리 > [집합]
[논리]
[관계]
논리  1. 논리
  2. 명제(proposition)
  3. 술어(predicate)
  4. 공리(axiom)
  5. 정리(theorem)
  6. 정의(definition)
  7. 동치(equivalence)
[추론,논증]
[수리논리(논리기호 등)]

1. 공리(Axiom) / 공준(Postulate)증명 없이도 받아들일 수 있는 사실 (무 증명 명제)
     - 아무런 의미도 갖지않고 조건없이 전제되는 명제

  ㅇ 한 이론의 출발점이 되는 가정
     - 어떤 이론의 기초가 되는 자명하다고 가정명제
     - 모든 명제의 참/거짓을 판단하게 하는 궁극적인 근거
     - 증명할 수는 없지만, 사실로 받아들여야 하는 수학가정

  ※ 따라서, 공리는 단순하고도 직관적으로 명백한 것이어야 함
     - 例) 확률에 관한 확률 공리, 자연수에 대한 페아노 공리2. 공리계 (Axiomatic System)
 
  ㅇ 몇 개의 무정의(undefined) 용어 및 공리들로 이루어진 수학적 체계

  ※ 최초로 공리계에 의해 이론체계를 완성 : 유클리드 기하학


3. 공리적 방법 (Axiomatic Method)

  ㅇ 공리를 바탕으로 한 전제(Premise) 또는 가설(Hypothesis)을 갖고,
     정리(Theorem)를 만들어 내고,

  ㅇ 그 결과(정리)가 옳은가를 증명을 통해서 확신을 주는 방법

  ※ 즉, 정리(Theorem)는, 공리를 바탕으로 증명될 수 있는 법칙을 말함


[논리] 1. 논리 2. 명제(proposition) 3. 술어(predicate) 4. 공리(axiom) 5. 정리(theorem) 6. 정의(definition) 7. 동치(equivalence)
[추론,논증] [수리논리(논리기호 등)]

    요약목록

Copyrightⓒ 차재복 (Cha Jae Bok)     「 소액후원 」      [ 최근편집 : 위성 중계기(9월21일)  CS (9월21일)  위성(9월21일)  SELECT 구문(9월21일)  개루프 제어(9월20일)  . . . ]