괴델의 불완전성 요점
페이지 정보
작성일 20-12-10 11:51
본문
Download : 괴델의 불완전성 정리.hwp
다.
설명
순서
괴델의 불완전성 정리에 대하여 조사하였습니다. 1950년 이후, 수리철학이 새로운 경향의 발전을 보여주는 사상도 있기는 하지 만, 앞의 세 학파를 통합하거나 새로운 방향으로 발전하는 사상은 전혀 찾아볼 수 없다. 이 세 학파 모두가 수학기초론이 요구하 는 Task 를 충족시켜준 것은 아니지만, 오늘날에도 이들의 사상은 자주 인용되고 있 다. 1860～1960년의 100년 사이에 수리철학의 논리주 의, 형식주의, 직관주의 등과 같이 수학을 보는 철학적인 입장이 각각 정립되었으 며, 이들이 수리철학의 주류를 이루어왔다.
앞의 說明(설명) 과 같이, 현대 논리학의 사상은 수학적 진리에 대한 종래의 이해를 크 게 바꾸게 하였으며 수학의 내부뿐만 아니라 철학에서도 진리론이 하나의 Task 로 제기되고 있다
6. 맺음말 앞에서 적은 2절에서와 같이, 수학이 완전하지 않다는 G del의 결과가 수학기초 론, 수학의 철학, 인지과학의 발전에서 확고한 초석이 되었다 하겠다. 다만 특기할 것은, 라드리에르(J. Ladrier)가 1923년 스코램(Skolem)이 얻은결과, 1933년의 타르스키가 얻은 결과, 1963년 처치(Alonzo Chu- rch)가 얻은 결과 등과 함께 괴델의 불완전성정리(arrangement)를 합쳐서 이…(투비컨티뉴드 )
레포트/인문사회
,인문사회,레포트
괴델의 불완전성 요점
괴델의불완전성에대하
Download : 괴델의 불완전성 정리.hwp( 17 )
괴델의 불완전성 요점에 대하여 조사하였습니다. 수학과 논리학의 기초에 관한 문제는 그동안 별다른 진전이 없었으나, 19세기 말 에 이르러 급속히 발전하였다.괴델의불완전성에대하 , 괴델의 불완전성 정리인문사회레포트 ,
원래 수학적 명제는 그것이 증명될 때에만 참이 되며, 증명 가능한 명제를 수학 에서는 정리(arrangement)라 한다. 수학에서 참인 명제는 반드시 정리(arrangement)가 되고, 그 역도 성립한다 고 오래도록 인식되어왔다. 이러한 사실 때문에 수학의 본질에 대한 고찰이 한층 더 심화되고, 증명 가능성이 수학이 참과 거짓이라는 관념으로부터 독 립되어야 하며, 수학의 보다 본질적인 문제는 진리가 아니라 `증명 가능성`의 관념이 되어야한다는 이해가 전적으로 지배하게 되었다. 즉, `진리`와 `정리(arrangement)`가 논리적으로 같은 뜻으로 이해 되어 왔다. 그러나 괴델의 제2불완전성정리(arrangement)에 의해 참이지만 정리(arrangement)가 안되는 명제가 제시 됨으로써. 우리의 통념이 무너지고 말았다.
