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

  • 1995.10a
  • /
  • Pages.258-263
  • /
  • 1995
  • /
  • 2005-3053(pISSN)
Human and Language Technology (한국정보과학회 언어공학연구회)
권호 표지

Equivalence of Mind and Information Processing Formal System: $G{\ddot{o}}del's$ Disjunctive Conclusion and Incompleteness Theorems

마음과 정보처리형식체계의 논리적 동치성: 괴델의 선언결론과 불완전성 정리를 중심으로

  • Hyun, Woo-Sik (Department of Cognitive Science, The Graduate School, Yonsei University)
  • 현우식 (연세대학교 대학원 인지과학)
  • Published : 1995.10.07
Download PDF
⟨ Previous Next ⟩

Abstract

마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

Keywords