• 파일시티 이벤트
  • LF몰 이벤트
  • 서울좀비 이벤트
  • 탑툰 이벤트
  • 닥터피엘 이벤트
  • 아이템베이 이벤트
  • 아이템매니아 이벤트
  • 위잇 도시락 이벤트

[수학]수학의 공리주의 형식주의 직관주의

*명*
개인인증판매자스토어
최초 등록일
2006.01.05
최종 저작일
2005.12
3페이지/한글파일 한컴오피스
가격 1,000원 할인쿠폰받기
다운로드
장바구니

소개글

수학의 공리주의 형식주의 직관주의에 관해서 조사한 리포입니다.

목차

공리주의
형식주의
직관주의

본문내용

1. 공리주의

모든 수학의 이론은 몇 개의 공리에서 출발하여 엄밀한 추론에 의해 이루어져 있어야 한다고 하는 주장이다.

이 사상은 D.힐베르트에 의해 강하게 주장되어 실행되었는데, 그는 기하학이 몇 개의 공리 위에서 성립한다고 하여, 이것을 《기하학기초론:Grundlagen der Geometrie》(1899)으로 발표하였다. 이론의 기초인 가정(假定)을 공리라고 한다.

수학에 있어 공리(axiom)는 논리를 전개하는 바탕이 된다. 유클리드는 "수학이란 진리만을 다루는 가장 논리적인 학문이다"라고 봤다. 하지만 수학이 발전함에 따라 공리를 진리로 보는 것이 오류임이 밝혀졌다. 힐베르트는 공리는 진리가 아니라 약속에 지나지 않았다고 보았다. 수학을 엄밀히 전개하는데 처음 필요한 것이 공리이고 그것에 따라 논리를 전개해나가는 것이다. 공리주의(axiomatism)란 모든 이론은 기본이 되는 몇몇 공리에서 출발해 논리적으로 조합됐다고 보는 이론이다.

공리주의는 20세기 초 힐베르트를 중심으로 전개됐던 수학기초이론. 유클리드기하학에 대비해 비유클리드기하학의 공리적 기초를 확립한 힐베르트는 수학과 물리학을 비롯해 과학의 전 분야에 공리적 기초를 마련하려고 애썼다. 그의 저서로 1930년 출판된 `자연과 논리학의 이해`와 1935년과 1939년에서 걸쳐 `수학의 기초` 두 권을 출판했다. 이 원론집은 수학의 양립성consistency) 즉 무모순성을 체크할 수 있는 증명이론(proof theory)을 이끌어내기 위해 썼다고 한다.

이런 그의 시도는 수학을 완벽한 기초 위에 올려놓은 듯 했다. 하지만 1931년 괴델의 논문은 이런 힐베르트의 의도가 불가능하다는 것을 증명한 바 있다. 괴델의 불완전성의 정리에 따르면 모든 수학적 논리체계에는 논리자체로 증명할 수 없는 참인 명제들이 존재한다. 괴델은 처음에 힐베르트의 공리주의를 뒷받침하기 위해 연구를 시작했는데 엉뚱하게도 공리주의에 제동을 거는 결과를 낳고 만 것이다

참고 자료

없음
*명*
판매자 유형Bronze개인인증

주의사항

저작권 자료의 정보 및 내용의 진실성에 대하여 해피캠퍼스는 보증하지 않으며, 해당 정보 및 게시물 저작권과 기타 법적 책임은 자료 등록자에게 있습니다.
자료 및 게시물 내용의 불법적 이용, 무단 전재∙배포는 금지되어 있습니다.
저작권침해, 명예훼손 등 분쟁 요소 발견 시 고객센터의 저작권침해 신고센터를 이용해 주시기 바랍니다.
환불정책

해피캠퍼스는 구매자와 판매자 모두가 만족하는 서비스가 되도록 노력하고 있으며, 아래의 4가지 자료환불 조건을 꼭 확인해주시기 바랍니다.

파일오류 중복자료 저작권 없음 설명과 실제 내용 불일치
파일의 다운로드가 제대로 되지 않거나 파일형식에 맞는 프로그램으로 정상 작동하지 않는 경우 다른 자료와 70% 이상 내용이 일치하는 경우 (중복임을 확인할 수 있는 근거 필요함) 인터넷의 다른 사이트, 연구기관, 학교, 서적 등의 자료를 도용한 경우 자료의 설명과 실제 자료의 내용이 일치하지 않는 경우

이런 노하우도 있어요!더보기

찾던 자료가 아닌가요?아래 자료들 중 찾던 자료가 있는지 확인해보세요

  • 파워포인트파일 [수학의 역사] 수학형식주의가 가진 의의와 그 역사 24페이지
    출현 형식주의 전개과정 직관주의 배중률 거부 고전수학 포기 형식주의의 출현 ... 형식주의 전개과정 형식주의의 출현 형식주의 전개과정 직관주의자를 격렬하게 ... 형식주의의 출현 형식주의 전개과정 논리주의 순환논법 환원공리 사용 형식주의
  • 한글파일 뉴턴과 칸트의 과학를 바라보는 체계 8페이지
    >>>>흄,로크의 사상과 유사함 자연철학의 수학적원리 -공리적체계 (정의) ... (자연과학의 발전은 수학적으로 자연을 다루는데 있다.수학직관에 연역에 ... 시간은 내적감각이 갖는 선험적 순수직관형식이다.
  • 한글파일 역사-발생적 원리 1페이지
    가르치는’ 그러한 형식주의의 결함을 극복하기 위하여 제기되어 온 교수학적 ... 역사-발생적 원리 발생적 원리는 수학공리적으로 전개된 완성된 것으로 ‘ ... 형식화 단계를 거쳐 마지막에 연역적인 형식체계에 이르도록 지도하는 것이
  • 한글파일 무한의 비밀 독후감 2페이지
    수학이 역사적으로 발전하는 과정에서 수학적 개념과 원리는 변하지 않는 절대주의의 ... 상대론적 관점에서 1장을 시작한다 제2장 무한에서 우리는 실수의 연속성 공리에 ... 괴델의 첫 번째 불완전한 정리에 따르면, 어떤 형식적인 체계도 완전할 수
  • 파워포인트파일 [교육]수학교수법, 한스프로이덴탈의 수학화에 대하여 27페이지
    ) 형식화 , 국소적 조직화 , 공리화 , 관찰 , 실험 , 귀납 , 유추 ... 활동에 의해 구성되어 가는 것으로 보는 직관주의 수리철학 입장이다 . ⑤수학은 ... 경험이 축적되면서 수학 자체의 수학화 국소적 공리적 이론 체계의 구성으로
더보기
최근 본 자료더보기
탑툰 이벤트
[수학]수학의 공리주의 형식주의 직관주의
  • 레이어 팝업
  • 레이어 팝업
  • 레이어 팝업
  • 레이어 팝업