• 한국수학사학회지
• /
• 제15권3호
• /
• pp.75-82
• /
• 2002

G$\ddot{o}$del's metamathematical program from Incompleteness to Speed-up theorems shows the necessity of ever higher systems beyond the fixed formal system and devises the relative consistency.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.258-263
• /
• 1995

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

• 논리연구
• /
• 제21권1호
• /
• pp.97-133
• /
• 2018

괴델은 '수학은 언어의 구문론인가?'라는 미출간 논문에서 그가 '구문론적 해석'이라고 부르는 카르납의 관점을 비판한다. 박일호, 전영삼, 어워디와 캐러스, 리켓츠, 테넌트 등은 괴델의 논변을 여러 가지 방식으로 재구성하고, 카르납의 가능한 대응을 검토해 왔다. 이 논문은 수학의 성격에 대한 괴델과 카르납의 논쟁을 재현한 뒤 대부분의 기존 논의를 비판하고 다음과 같은 새로운 기여를 하려 한다. 먼저 여러 학자가 카르납의 견해로 지적한 '언어 상대성'이 과장되었다고 주장한다. 오히려 괴델 비판의 핵심은 수학의 적용 문제이며 '기대가능성'에 기초한 논변이다. 따라서 카르납이 수학의 적용, 특히 과학에의 적용을 어떻게 보았는지를 논의하여 괴델에 응답한다. 그 과정에서 기존 논의가 간과한 카르납의 '대응 원리'가 핵심적인 역할을 한다고 주장한다. 마지막으로 괴델 불완전성 정리의 진정한 함축인 수학의 소진불가능성은 카르납과 괴델 자신이 정확히 동의하는 부분이라고 주장한다.

• 한국수학사학회지
• /
• 제22권3호
• /
• pp.31-44
• /
• 2009

현재 융합과학의 모델로 주목받고 있는 인지과학을 이해하기 위해서는 세 가지의 중대한 수학적 업적을 살펴볼 필요가 있다. 본 논문에서는 이 세 가지의 역사적 업적에 해당하는 튜링기계, 신경망, 괴델의 불완전성 정리를 중심으로 인지과학의 수학적 기틀을 연구한다. 먼저, 메타수학으로서의 인지과학을 고찰한다. 다음으로 컴퓨터의 수학적 모델로서 튜링기계와 그 발전을 탐구하고, 뇌의 수학적 모델로서 신경망과 그 발전을 탐구하고자 한다. 마지막으로는 인지과학의 미래를 위한 괴델의 불완전성 정리의 함의를 논의하고 양자인지과학을 전망한다.