한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리) (Annual Conference on Human and Language Technology)
- 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
- /
- Pages.258-263
- /
- 1995
- /
- 2005-3053(pISSN)
마음과 정보처리형식체계의 논리적 동치성: 괴델의 선언결론과 불완전성 정리를 중심으로
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)
- 발행 : 1995.10.07