|
증명 가능한 명제를 수학 에서는 정리라 한다. 수학에서 참인 명제는 반드시 정리가 되고, 그 역도 성립한다 고 오래도록 인식되어왔다. 즉, '진리'와 '정리'가 논리적으로 같은 뜻으로 이해 되어 왔다. 그러나 괴델의 제2불완전성정리에 의해
|
|
|
인간의 본질에 대한 깊은 이해를 통해 여전히 독자들에게 강력한 메시지를 전달하고 있습니다. 괴델, 에셔, 바흐의 개별 분야
1. 괴델(G?del)
2. 에셔(Escher)
3. 바흐(Bach)
주요 테마와 인간의 이해력
호프스태터의 접근과 사고
결론
|
|
|
괴델리츠(2012)「독일 통일 후 내적통합-성과, 도전 그리고 전망」
오태호(2012)「통일한국의 사회복지정책 통합방안에 관한 연구」대구한의대학교 대학원 박사학위논문
정용길(2008)「통일독일의 사유화 정책과 그 후유증」사회과학연구, Vol.
|
|
|
괴델의 정리 : Rudy Rucker, 김량국 옮김, 열린책들
괴델 불완전성정리에서 유도 안될 수도 있는 명제 (A Proposition also Non-derivable from Goedel's Incompleteness Theorem) : 김상문, 철학연구회, 1987
타르스키 정리, 처치 정리, 그리고 괴델 정리 : 김영정, 한국철
|
|
|
하면, 신학이 모순이 없는 형식 시스템이라면 신학은 신학의 무모순성을 증명할 수 없다 현우식, 앞의 책, 61면.
.
이런 괴델의 불완전성 정리는 인간 지성의 한계를 보여줌과 동시에 인간 지성의 가능성을 보여주었다. 인간이 추구하는 이상적
|
|
메뉴펼치기
