괴델의 불완전성 정리

등록일 2003.05.16 한글 (hwp) | 8페이지 | 가격 900원

목차

1.머릿말
2.괴델의 불완전성 정리 내용
3.힐베르트의 계획
4. 괴델의 착상
5. 괴델의 정리와 그 주변
6. 맺음말

본문내용

수학에서 참이란 무엇인가? 수학은 무모순한가? 수학이 무모순하다면 그것은 증
명가능한가?
20세기초 제기된 이같은 일련의 물음에 대해 명쾌한 답을 준 것은 실로 무명의
수학자 괴델(Kurt G del)이며 그의 나이 불과 25세 때이다. 그가 빈 과학아카데미
의 "수학.물리학월보"에 한 편의 논문을 발표한 것은 1931년의 일이다. 빈 대학에
취직 논문으로 제출된 이 논문은 후일 학계와 많은 사상가를 놀라게 한 불완전성
정리(incompleteness theorem)에 관한 것이었다. 그 당시만 해도 그 내용이 난해하
여 몇몇 소수의 전문분야의 학자외에는 이해하지 못하였다. 그러나 오늘날에 와서
는 수학자 외에도 철학자, 컴퓨터의 전문학자, 인지과학자 등 여러 인접학문 분야
에서도 이 정리가 다양하게 인용되고 있다. 이 연구로 괴델은 1938년 이후 프린스
턴 대학교 고급학술연구소의 종신 연구원으로 초대받게 된다.
1952년 하바드 대학교에서 명예학위를 받을 때, "그는 현대논리학에서 가장 중요
한 진보를 이루게 하는 데 기여한 사람의 하나다." 라는 찬사를 받았다. 당시 미국
최고의 지성으로 알려진 프린스턴의 연구소장 오펜하이머(J.R. Oppenheimer)도 "괴
델의 이 연구는 인간의 이성 일반에 있어서 한계라는 것의 역할을 명확히 한 것이
다." 라고 극찬하였다.
괴델이 얻은 정리는 순수수학과 논리학 일반에 있어 가장 심원한 연구업적의 하
나가 된다는 평을 받아 마땅하거니와 그 결과는 참으로 학계의 큰 충격이었다. 왜
냐하면 그것은 우리 모두가 막연하게나마 믿고 있었던 논리학과 수학의 기본 원리
의 절대적인 진리성에 대한 확신을 바꾸게 하였기 때문이다. 1931년 이전까지는 기
하학에서 유크리트의 공리와 같이 모든 수학적인 이론체계가 내부에서 모순없이 몇
개의 기본 공리를 정하고 이로부터 모든 정리가 도출될 수 있는 연역적 체계화가
가능할 것으로 기대하였다. 그러나 괴델의 불완전성정리는 그같은 우리의 기대에
상반되는 결과를 얻게 되어 이를 수학에서의 패러다임(Paradigm) 또는 유크리트의
패러다임이라 할 수 있다.

참고 자료

1. E.W. BETH, Mathematical thought an introduction to the
philosophy of mathematics (1965)
2. E. NAGEL and J.R. NEWMAN, G del's proof, New York University Press (1958)
3. IIDA TAKASHI, Reading in the philosophy of mathematics : After Goedel
(일어판) (1995)
4. A.W. MOORE, The infinite (일어판) (1990)
5. J.W. ROBBIN, Mathematical logic, a first course, W.A. Benjamin (1969)
6. 임정대, 수학기초론, 청문각 (1995)

http://inhavision.inha.ac.kr/~g1983678/mataphy6-1.html
http://www.aistudy.co.kr/pioneer/Godel.K.htm
*원하는 자료를 검색 해 보세요.
  • 현대수학과 수학의 장래 2페이지
    기막힌 사실은 실제로 더욱 근본적인 결론의 결과이다. 괴델버트 ... 을 증명했고 버트시스템의 무모순이 그런 문제 중 하나임을 보였다. 여기에 형식 ... 주의(intuitionism), 버트(Hilbert)가 이끄는 형식
  • [컴퓨터 이론]기계론 논쟁: 마음, 기계, 괴델-자기지시 9페이지
    계획은 괴델 불완전성 정리에 의해 파기됨이 증명되었다. 이로부터 반 ... 보여준다. 불완전성 정리로부터 끌어낼 수 한 예로 ‘괴델 연산자‘를 체계에 ... 기계론자들은 이 불완전 정리를 이용해서 기계론 주장을 반박한다.) 괴델은 두
  • 수학자 폴리아와 괴델 10페이지
    있는 알고리즘이 있다고 믿었었는데 괴델불완전 정리로 그러한 ... . 특히 유명한 것으로는 1931년 발표한 ‘불완전성 정리’ 인데, 이것은 ... . 이를 ‘괴델불완전정리’이라 한다. 다음 두 번째 물음에 대해서는
  • 괴델&힐베르트&칸토르 3페이지
    태어났다. 주요 업적으론 완전 정리와 불완전성 정리의 증명과 연속 ... 수학기초론, 논리학에 있어 가장 중요한 발견으로 여겨지는 「불완전성 정리 ... - 1978년 1월 14일)은 불완전의 정리로 유명한 수학자이자 논리
  • [생활수학] 형식주의와 플라톤주의 6페이지
    (Godel)의 불완전 정리에 의해 수학이 모순이 없는 완전한 세계임을 ... . 유클리드나 버트의 형식주의적 접근에 따르면 직선은 무정의 용어이므로 우리가 ... , 그것의 무모순을 직접 증명하려는 것이었다. Hilbert는 고전 수학의
  • 준경험주의 21페이지
    - but!! 괴델불완전 정리에 의해 2) 이 모순됨 2. 오류의 수정을 ... 극복하려는 시도 버트 : 수학을 완전한 형식 체계로 보는 것을 제안 ... 준경험주의 1. 수학적 지식의 확실의 문제 2. 오류의 수정을 통한
  • 수학교육론(포트폴리오) 38페이지
    수학 20세기의 새로운 수학은 독일의 버트(1862-1943)의 ... 연구가 모두 그 출발점을 이루고 있다. 따라서 20세기의 수학은 버트 ... 를 빼놓고는 이야기할 수 없다. 버트의 중요한 연구업적을 살펴보면 다음과
더보기
      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      상세우측 배너
      상세우측 배너
      추천도서
      괴델의 불완전성 정리
      하나은행 통장 개설 이벤트 오늘 하루 보지 않기 닫기
      ?>
      닫기