"괴델" 검색결과 1-20 / 225건

• 

  괴델과 기독교

  2016121056 경영학과 이서희 괴델 , 하나님의 존재는 증명가능한가 ? 괴델 소개 불완전성 원리 하나님과 무한 결론 목차 존재론적 증명 목차 1 괴델은 누구인가 ? ... ’20 세기 물리학의 교황 ’ 으로 불린다면 , 괴델은 ’20 세기 수학의 신비로운 은둔 수도자 ’ 로 불리는 것이 적절 괴델의 불완전성 정리의 신학적 함의를 논의 , 괴델이 이해한 ... 하나님의 개념을 살펴보고 괴델의 무한 개념과 그의 무한 연구의 의미를 분석 , 하나님에 관한 괴델의 존재론적 증명과 그 의미를 고찰할 것 목차 2 괴델의 불완전성 원리 제 1 불완전성

  리포트 | 11페이지 | 3,000원 | 등록일 2019.06.26

  다운로드 장바구니
• 

  아인슈타인이 괴델과 함께 걸을 때 독후감

  평소 친근하고 웃는 것을 좋아하는 아인슈타인과 달리 괴델은 항상 우울하고 외롭고 비관적이었다. ... 아인슈타인이 괴델과 함께 걸을 때 ? 본문 유튜브에서 수학에 관한 형이상학적인 글을 담고 있는 책이라고 해서 구매해서 읽어보게 되었다. ... 그 당시에, 괴델은 사람들에게 널리 알려지지 않았고, 아인슈타인은 그 자신처럼 그를 혁명 사상의 독립적인 동반자로 여겼다.

  리포트 | 3페이지 | 1,500원 | 등록일 2022.03.02

  다운로드 장바구니
• 

  괴델의 불완전성 정리의 의미와 증명 및 등장배경

  주제인물: 쿠르트 괴델 (1906 ~ 1978) 내가 선정한 수학자는 쿠르드 괴델이다. ... 내가 괴델을 선정한 이유는 간단하다. 수학을 공부하면서 괴델의 불완전성의 정리는 자주 듣게 된다. 하지만 정작 괴델의 불완전성 정리에 대해 자세히 알지 못했던 것이 사실이다. ... 이때 괴델은 메타수학의 명제를 수학 명제로 불러올 수 있다면 불완전성을 증명할 수 있지 않을까라는 생각을 하게 되고 괴델은 메타수학을 수학 영역으로 가져오기 위해 괴델수라는 개념을

  리포트 | 7페이지 | 3,400원 | 등록일 2021.01.02 | 수정일 2021.04.07

  다운로드 장바구니
• 

  수학자 폴리아와 괴델

  괴델은 산술을 포함하는 무모순인 어떠한 체계도 완전하지 않다는 결과를 얻었다. 이를 ‘괴델의 불완전성정리’이라 한다. 다음 두 번째 물음에 대해서는 괴델이 부정적인 답을 얻었다. ... 논리식 G의 괴델수를 n이라 하면, 이 n 이 "괴델수 n에 대응되는 논리식은 증명 불가능하다"라는 명제에 대응하도록 구성 한다. ... 이 두 물음 모두에 대해 괴델은 그 답을 우리에게 제시해 주고 있다.

  리포트 | 10페이지 | 1,000원 | 등록일 2012.05.31

  다운로드 장바구니
• 

  괴델의 불완전성의 원리

  204060 유지환 괴델의 불완전성 정리 * 괴델(Kurt Godel ; 1906~1978) 오스트리아 태생의 미국 수학자, 논리학자. ... 괴델이 그의 정리를 도출하는데 있어 산술체계로서 이의 체계를 선택한 이유가 바로 여기에 있는 것이다. * 괴델의 착상 괴델은 먼저 형식화한 체계 내의 기본적인 기호, 논리식, 증명마다 ... 를 얻는다. * 괴델의 정리와 영향 괴델는 논리학, 집합론에서 매우 특유한 문제에 대해 업적을 남겼다고 보아진다.

  리포트 | 7페이지 | 1,000원 | 등록일 2009.08.28

  다운로드 장바구니
• 

  괴델의 불완전성 정리

  괴델의 불완정성 정리 (Godel's incompleteness theorem) ‘괴델의 불완정성 정리’는 1931년 괴델(K. ... 이것이 곧 괴델의 명제 G 이다. * 괴델의 불완정성 정리의 내용 ? 증명 ▶괴델의 제1 불완전성 정리: 자연수 체계를 포함하는 무모순인 공리 체계는 절대 완전할 수 없다. ... 괴델의 불완전성 정리의 내용 괴델의 이 논문은 상당히 난해했다. 그는 이 정리에 이르기 위해 46개의 예비 정의와 여러 개의 예비 정리를 거쳐야 했다.

  리포트 | 6페이지 | 1,500원 | 등록일 2009.03.15

  다운로드 장바구니
• 

  [괴델]괴델의 불완전성 정리

  논리식 G의 괴델수를 n이라 하면, 이 n이 "괴델수 n에 대응되는 논리식은 증명 불가능하다"라는 명제에 대응하도록 구성한다. ... 괴델은 산술을 포함하는 무모순인 어떠한 체계도 완전하지 않다는 결과를 얻었다. 이를 괴델의 불완전성정리(Incompleteness Theorem)이라 한다. ... 흥미로운 것은 그 중에 괴델의 불완전성정리를 컴퓨터로 증명하게 하는 연구가 진행 중이다. 괴델의 이론은 논리학, 집합론에서 역시 업적을 남겼다고 보아진다.

  리포트 | 5페이지 | 1,000원 | 등록일 2007.04.05

  다운로드 장바구니
• 

  [괴델]괴델의 불완정성원리

  REPORT 괴델의 불완전성원리 과목명: 교수명: 학 과 : 학 번 : 성 명 : 괴델이란 누구인가? 1906년 태어났으며 수학, 철학, 논리학에 최고 천재 수학자였습니다. ... 괴델의 제2불완전성정리 또한 충격이 적지 않았습니다. ... 괴델은 산술을 포함하는 무모순인 어떠한 체계도 완전하지 않다는 결과를 얻었습니다. 이를 괴델의 불완전성정리(Incompleteness Theorem)라고 합니다.

  리포트 | 4페이지 | 1,000원 | 등록일 2007.04.05

  다운로드 장바구니
• 

  괴델의 불완전성 정리

  괴델에 의해 증명되었다. ... ＜괴델의 불완전성정리＞라고도 한다. ... 논리식 G의 괴델수를 n이라 하면, 이 n 이 "괴델수 n에 대응되는 논리식은 증명 불가능하다"라는 명제에 대응하도록 구성 한다.

  리포트 | 8페이지 | 1,000원 | 등록일 2006.11.01 | 수정일 2015.02.04

  다운로드 장바구니
• 

  [독후감]괴델

  또한 괴델의 불완전성 정리 이후에 전개된 수리논리학의 여러 이론을 다루고 있을 뿐 아니라, 괴델의 정리가 지니는 철학적 함축과 관련하여 인공지능에 관한 철학적 논쟁, 더 나아가 괴델의 ... * 주요내용 이 책은 괴델의 불완전성 정리와 같이 무거운 주제를 소개하면서도 우리에게 괴델의 학문적 업적과 삶의 여정을 흥미롭게 보여준다. ... 특히 괴델이라는 천재가 나오게 된 사회역사적 배경, 프린스턴에서의 아인슈타인과의 교제, 그의 괴벽과 편집증, 부인 아델레와의 관계, 학문적 사명감과 죄의식 등 괴델의 내면세계와 일상적인

  리포트 | 3페이지 | 1,000원 | 등록일 2006.09.06 | 수정일 2013.11.25

  다운로드 장바구니
• 

  과학기술 독후감 3편 - 이기적유전자, 과학혁명의구조, 괴델에셔바흐

  괴델, 에셔, 바흐/호스 태터 본서는 제목만큼 내용도 이해하기 어려웠다.

  리포트 | 1페이지 | 3,900원 (35%↓) 2535원 | 등록일 2017.07.12

  다운로드 장바구니
• 

  괴델&힐베르트&칸토르

  유복한 시민계급 일가에서 태어났으며 아버지는 루돌프 괴델, 어머니는 마리안느 괴델이다. ... ▶ 괴델 쿠르트 괴델(Kurt Godel, 1906년 4월 28일 - 1978년 1월 14일）은 불완전성의 정리로 유명한 수학자이자 논리학자이다. ... 그 외 업적으로는 아인슈타인의 일반 상대론의 괴델 해법 등이 있다. 괴델은 빈 대학 강사로 근무하였지만, 1940년 즈음 나치 독일을 피해 아내 아델르와 미국으로 이주한다.

  리포트 | 3페이지 | 1,000원 | 등록일 2006.12.19

  다운로드 장바구니
• 

  논리적 역설에 대하여.피타고라스, 갈릴레오, 칸토어, 괴델을 중심으로

  (2) 칸토어의 역설 - 집합론 4) 괴델 (1) 괴델은 누구인가? (2) 괴델의 역설 -괴델의 불완전성의 정리 -힐베르트의 계획 -괴델의 착상 3. 결론 참고문헌 1. ... 괴델이 그의 정리를 도출하는데 있어 산술체계로서 이의 체계를 선택한 이유가 바로 여기에 있는 것이다. - 괴델의 착상 괴델의 이 논문은 상당히 난해했다. ... 괴델은 산술을 포함하는 무모순인 어떠한 체계도 완전하지 않다는 결과를 얻었다. 이를 괴델의 불완전성정리(Incompleteness Theorem)이라 한다.

  리포트 | 13페이지 | 2,000원 | 등록일 2008.12.28

  다운로드 장바구니
• 

  [인문] 괴델의 불완전성의 정리

  괴델의 불완전성의 정리 ). 괴델이란 누구인가? 오스트리아 태생의 미국 수학자, 논리학자. ... 괴델은 산술을 포함하는 무모순인 어떠한 체계도 완전하지 않다는 결과를 얻었다. 이를 괴델의 불완전성 정리라 한다. ... 논리식 G의 괴델수를 n이라 하면, 이 n이 "괴델수 n에 대응되는 논리식은 증명 불가능하다"라는 명제에 대응하도록 구성 한다.

  리포트 | 3페이지 | 1,000원 | 등록일 2004.12.14

  다운로드 장바구니
• 

  역설에 대하여(피타고라스,제논,파스칼,러셀,괴델)

  괴델Kurt Godel의 역설 1. ... 괴델Kurt Godel의 역설 1-1. 괴델의 불완전성 정리 1-2. 해결 방법 1-3. 의미 Ⅶ. 마치는 말 ◎ 참고문헌 ◎ Ⅰ. 역설Paradox 1. ... Report 역설Paradox 피타고라스 Phythagoras 제논 Zenon 파스칼 Blaise Pascal 러셀 Bertrand Russell 괴델 Kurt Godel 목 차

  리포트 | 15페이지 | 4,000원 | 등록일 2008.04.11 | 수정일 2018.02.22

  다운로드 장바구니
• 

  괴델의 불완전성 정리

  논리식 G의 괴델수를 n이라 하면, 이 n 이 "괴델수 n에 대응되는 논리식은 증명 불가능하다"라는 명제에 대응하도록 구성 한다. ... 괴델은 산술을 포함하는 무모순인 어떠한 체계도 완전하지 않다는 결과를 얻었다. 이를 괴델의 불완전성정리(Incompleteness Theorem)이라 한다. ... 이 두 물음 모두에 대해 괴델은 그 답을 우리에게 제시해 주고 있다.

  리포트 | 8페이지 | 1,000원 | 등록일 2003.05.16

  다운로드 장바구니
• 

  '괴델, 불완전성의 정리' 요약

  괴델불완전성 정리 “이성의 한계”의 발견 Ⅰ “수학의 위기”가 괴델을 요청하였다 1 무한이란 무엇인가? ... 논리식과 자연수와의 대응이라고 하는 과제는 ‘괴델수’의 개념에 의해 해결되었다. ... 괴델은 1930년에 완전성 정리의 증명을 1931년에 불완전성 정리의 증명을 발표했는데, 이것은 모순된 것이 아니다.

  리포트 | 5페이지 | 2,000원 | 등록일 2003.01.04

  다운로드 장바구니
• 

  [논리학]위대한 논리학자/제논/파스칼/칸토르/러셀/괴델

  괴델의 불완전성 정리의 논증은 아주 복잡하고 상설 ... 그러나 1930년대 초에 괴델은 아무리 정교한 수학 체계라도 그 자체로서 무모순적일 수 없다는 소위 괴델의 정리, 즉 불완전성의 정리를 주창함으로써 확고한 공리 체계를 바탕으로 수학의 ... 그러므로 괴델은 참이 되는 모든 명제를 증명할 수 없다는 의미에서 산술의 형식체계는 본질적으로 불완전하다(정리 2)고 보고 있다.

  리포트 | 11페이지 | 1,500원 | 등록일 2006.08.15

  다운로드 장바구니
• 

  [컴퓨터 이론]기계론 논쟁: 마음, 기계, 괴델-자기지시성

  마음, 기계, 괴델 - 자기 지시성의 문제 정 기도 1. 괴델의 반기계론 라이프니츠(G. ... 괴델은 두 가지의 불완전성 정리를 증명한다. ... 괴델 정식이 구성되는 절차는 표준적 절차다. … 그리고 나서 기계는 그것을 또한 수행하도록 프로그램될 수 있어야만 한다. … 이것은 누군가 정리로서 형식 체계의 나머지에 대한 괴델

  리포트 | 9페이지 | 1,000원 | 등록일 2005.07.15 | 수정일 2015.06.12

  다운로드 장바구니
• 

  세상을 바꾸는 아름다운 수학 (수학자 조사)

  언어학자 노암 촘스키가 괴델에게 요즘 무엇을 연구하는지에 대해 물었다. 괴델이 대답했다. “나는 지금 자연의 법칙들이 선험적이란 점을 증명하고자 합니다.” ... 이 유명한 원리의 이론을 성립한 인물은 바로 독일의 수학자‘쿠르트 괴델’이다. ... 괴델의 정리는 수학적, 과학적으로도 여러 분야에 큰 영향을 끼치고 영향력 있는 사람이었다.

  리포트 | 3페이지 | 2,000원 | 등록일 2020.12.21

  다운로드 장바구니