한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리) (Annual Conference on Human and Language Technology)

한국정보과학회 언어공학연구회 (Human and Language Technology)
권호 표지

잉냐토빅 증명 법칙

THE ${\Omega}$-RULE in IGNJATOVIC

  • 이건원 (서울대학교 인문대학 철학과)
  • Lee, Gun-Won (Department of Philosophy College of Humanities Seoul National University)
  • 발행 : 1994.11.18
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

우리는 쉽고 누구나 사용할 수 있는 증명 방식으로 "어떠한 경우에나 참이기 때문에 모든 경우에 참"이라는 방식을 쓴다. 그러나 증명이 한정될 수밖에 없었다는 것을 인정할 수밖에 없어서, 이러한 오래 사용하여 오던 방법을 얼마만큼 사용할 수 있는지를 연구할 수 밖에 없다. 이 증명 법칙 ${\Omega}$은 유한 모형에서는 그대로 사용할 수 있기 때문에, 다른 일반적인 모형에 어떻게 확대 적용할 수 있느냐는 문제가 남는다. A. Ignjatovic은 ${\Omega}$법칙이 한정된 추론 속의 더 일반적인 확대가 가능함을 말하고 있다. 이 글에서는 이 ${\Omega}$법칙의 실제적인 유용성을 말하여 본다.

키워드