괴델의 불완전성 정리

등록일 2003.05.16 한글 (hwp) | 7페이지 | 가격 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일)은 불완전의 정리로 유명한 수학자이자 논리
  • 수학교육론(포트폴리오) 38페이지
    수학 20세기의 새로운 수학은 독일의 버트(1862-1943)의 ... 연구가 모두 그 출발점을 이루고 있다. 따라서 20세기의 수학은 버트 ... 를 빼놓고는 이야기할 수 없다. 버트의 중요한 연구업적을 살펴보면 다음과
  • 준경험주의 21페이지
    - but!! 괴델불완전 정리에 의해 2) 이 모순됨 2. 오류의 수정을 ... 극복하려는 시도 버트 : 수학을 완전한 형식 체계로 보는 것을 제안 ... 준경험주의 1. 수학적 지식의 확실의 문제 2. 오류의 수정을 통한
  • [생활수학] 형식주의와 플라톤주의 6페이지
    (Godel)의 불완전 정리에 의해 수학이 모순이 없는 완전한 세계임을 ... . 유클리드나 버트의 형식주의적 접근에 따르면 직선은 무정의 용어이므로 우리가 ... , 그것의 무모순을 직접 증명하려는 것이었다. Hilbert는 고전 수학의
더보기
      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      추천도서
      괴델의 불완전성 정리