괴델의 불완전성 정리

등록일 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
*원하는 자료를 검색 해 보세요.
  • 괴델의 불완전성 정리 6 페이지
    ‘괴델의 불완정성 정리’는 1931년 괴델(K. Gödel, 1906~1978)이 발표한 논리학에 관한 정리이다. 비엔나 대학에서 교수로 있던 25세의 괴델이 빈 과학아카데미의 "수학.물리학 월보"에 <수학 원리와 관련 체계에..
  • 논리주의,형식주의,직관주의 4 페이지
    ◉ 논리주의(論理主義, Logism)란? 직관주의(直觀主義) 형식주의(形式主義)와 함께 1920~1930년대에 수학 기초이론의 세가 지 대표적인 견해 중 논쟁의 중심이 되었던 한 입장. 즉, 논리주의는 논리적 고찰에 의..
  • 괴델의 불완전성의 원리 7 페이지
    * 괴델(Kurt Godel ; 1906~1978) 오스트리아 태생의 미국 수학자, 논리학자. ‘완전성 정리’와 ‘불완전성 정리’로 알려져 있고 현대수학과 논리학 연구에 빠지지 않고 등장하는 철학자. 그는 아무리 엄밀한 논리..
  • '괴델, 불완전성의 정리' 요약 5 페이지
    1 무한이란 무엇인가? ‘무한으로’ 셀 수 있다는 말과 ‘무한을’ 셀 수 있다는 말의 차이가 무엇일까. ‘무한으로’ 셀 수는 있으나 ‘무한을’ 셀 수는 없다고 120 년 전까지 사람들은 생각했다. 그러나 1870 년대에..
  • [독후감]괴델 3 페이지
    * 주요내용 이 책은 괴델의 불완전성 정리와 같이 무거운 주제를 소개하면서도 우리에게 괴델의 학문적 업적과 삶의 여정을 흥미롭게 보여준다. 특히 괴델이라는 천재가 나오게 된 사회역사적 배경, 프린스턴에서의 아인슈타인과의 ..
      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      최근 본 자료더보기