"괴델" 검색결과 61-80 / 241건

• 

  [서평] 이그노런스

  복잡한 논리적 체계는 무엇이든 불완전하게 남을 수 밖에 없다(괴델 불완정성의 정리) . 거짓과학만이 사실을 숭상한다 .

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

  다운로드 장바구니
• 

  박창우 교수 1학년 수학과제(칸토어 집합론, 골드바흐의 추측)

  괴델의 정리는 ‘우리가 알고자 하는 수학적 문제들은 결국 진리이거나 거짓으로 판명 또는 증명될 것이라’는 당연하다고 여겼던 믿음이 옳지 않다는 것이다. ... 괴델의 불완전성 정리는 제일, 제이 불완전성 정리들로 나눠진다. 제일 불완전성 정리는 수학에서는 증명도 부정도 되지 않는 명제가 반드시 존재한다는 것이다. ... 튜링과 함께 컴퓨터설계이론의 배경이 되었다는 점도 있다고 하지만, 괴델의 불완전성 정리는 인간 인식과 분석체계에 한계가 있음을 보여준 것이라고 생각한다. 3.

  리포트 | 2페이지 | 1,000원 | 등록일 2013.12.14

  다운로드 장바구니
• 

  앨런튜링과 튜링기계

  튜링은 괴델의 증명에서 ‘기계적인 방식’이 무엇인지 구체적으로 제시하고, 그 방식에 따라 해결할 수 없는 계산 문제를 제시하여 다시금 괴델의 증명을 확인했다. ... 힘』 김영사, 2010, p.92 2) 박정일, 『튜링&괴델, 추상 ... 다시 말해 튜링 머신은 괴델의 명제를 증명하기 위한 하나의 수단으로써 제시된 추상적 개념이다.

  리포트 | 4페이지 | 1,500원 | 등록일 2017.12.13

  다운로드 장바구니
• 

  Structure properties of computational problems

  또 수학자 괴델(Godel)이 도입한 괴델 수의 수법을 이용하면 계산화 문제는 자연수의 문제로 귀착되므로 이 방법을 산술화라고 한다.

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

  다운로드 장바구니
• 

  데카르트와 로크

  괴델의 추측에 의하면 ‘하나의 선 위에 존재하는 무수한 점들은 크기를 갖는가.’ ... 괴델의 추측과 러셀의 집합의 근본적 문제점 데카르트는 수학은 명석성과 판명함을 갖고 있다고 하였다. ... 괴델의 추측과 러셀의 집합의 근본적 문제점 1. 로크 2. 로크와 데카르트 1. Cogito ergo sum. (나는 생각한다. 고로 나는 존재한다.)

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

  다운로드 장바구니
• 

  2014 집합론 기말평가

  교환법칙은 성립하지 않는다. 6(4점) 다음 용어를 모두 사용하여 작문하시오 (1) 이치논리, 다치논리, 퍼지집합, 귀속도함수, 퍼지집합의 합집합 (2) 공리계, 무모순성, 완전성, 괴델의

  시험자료 | 1페이지 | 1,500원 | 등록일 2016.05.14

  다운로드 장바구니
• 

  [서평]컴퓨터과학이 여는 세계-이광근

  라이프니츠, 프레게, 화이트헤드, 힐베르트, 괴델, 그리고 튜링에 이어지기까지 논리적인 지식의 축적이 존재하였다.

  리포트 | 4페이지 | 2,500원 | 등록일 2019.01.05 | 수정일 2023.05.04

  다운로드 장바구니
• 

  러셀의 이론

  또한 무엇보다도 이책은 수학사에서 중요한 인물로 뽑히는 쿠르트 괴델에게 막대한 영향을 주었다는 특징 역시 지니고 있다. ... 그 후 괴델은 수학원리라는 책을 통해 러셀의 역설에 대해서 이해하고, 수학의 토대를 세우려는 러셀의 주장에 동의하였다. ... 쿠르트 괴델은 수학의 실재가 독립적으로, 플라톤적으로 존재한다는 관념론적 믿음을 지니고 있었으며, 힐베르트가 주장한 완전성의 정리를 증명함으로써 힐베르트의 주장을 발전시켰다.

  리포트 | 2페이지 | 2,500원 | 등록일 2016.04.30

  다운로드 장바구니
• 

  [N] 미래사회와정보기술 시험문제

  괴델의 불완전 정리와 관계가 먼 것은? ... ① 괴델의 오토마톤 테스트 ② 프레게의 논리 테스트 ③ 튜링테스트 ④ 서얼의 중국어방 테스트 ⑤ 쉬뢰딩거의 고양이 상자 26. ... ① 괴델의 오토마톤 테스트 ② 프레게의 논리 테스트 ③ 튜링 테스트 ④ 서얼의 중국어방 테스트 ⑤ 쉬뢰딩어의 고양이 상자 3. 다음 중 러셀의 논리적 모순과 관계가 없는 문장은?

  시험자료 | 10페이지 | 5,000원 | 등록일 2015.06.24 | 수정일 2018.01.21

  다운로드 장바구니
• 

  지식을 습득하는 방법에는 어떤 종류가 있는지 사례를 들어 살펴보고, 사회복지에서 지식을 창출하기 위해서 3가지 조사방법이 있는데 구체적인 사례를 들어 제시

  예를 들면 괴델의 정리에 대한 일반적 이해수준, 페르마의 마지막 정리에 대한 검증과정이 있다. 4. 과학적 방법(scientific method) Charles S.

  리포트 | 8페이지 | 2,000원 | 등록일 2017.10.19

  다운로드 장바구니
• 

  모리스 클라인의 수학의 확실성을 읽고

  허나 ‘산술 체계로 전환 될 수 있는 논리적 원리들로 무모순성을 증명하는 일이 불가능함’을 괴델이 밝힘으로서 산술로 ‘사상’(일종의 사영기하학으로 비유할 수 있다.)될 수 없는 추론 ... 또한 괴델은 자연수 이론을 포함을 하는 형식 이론 T가 무모순이면 T는 불완비하다라는 사실을 증명함으로서 무모순성을 얻는다고 해도 그 대가로서 불완비성이라는 결함을 짊어져야 함을 밝혀

  리포트 | 2페이지 | 1,000원 | 등록일 2014.08.12

  다운로드 장바구니
• 

  황제의 새 마음 9장,10장 읽고 정리 및 독후감 레포트

  . ■ 수학적 통찰력의 비알고리즘적 특성 -의식이 비알고리즘적 방법으로 진위 판단에 영향을 줄 수 있다는 믿음을 갖게 된 데에는 괴델의 정리가 큰 이유가 되었다.

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

  다운로드 장바구니
• 

  Death 죽음이란 무엇인가 감상문 독후감

  논리학은 이미 괴델의 불완전성의 정리로 그 근본한계가 드러났다. ... 유명하며 노벨 문학상을 받았다(1925년). 2) “우물쭈물하다가 내가 이렇게 될 줄 알았지” 라는 번역으로 유명하나 그 번역은 오역이다. 3) 책 63p 마지막 문단 4) 쿠르트 괴델

  리포트 | 4페이지 | 1,500원 | 등록일 2014.06.30 | 수정일 2015.09.01

  다운로드 장바구니
• 

  흥미로운 수학 이야기

  하지만 20년 뒤 괴델이 20대의 나이에 엄청난 정리의 증명을 해냄으로써 이러한 ‘꿈’을 산산조각 내게 됩니다. 불완전성 정리.

  리포트 | 2페이지 | 1,000원 | 등록일 2018.03.28

  다운로드 장바구니
• 

  수학적 지식의 특성에 대하여-경험적 지식으로서의 수학

  그러나, 괴델의 증명이 ‘수학의 이데아가 존재 불가능’ 을 의미함을 생각한다면, 수학은 완성되는 순간이 없다. 즉, 가설이 사라지는 순간이 없다. ... 그렇다고 괴델의 이 불완전성정리가 참이 아니라고 말하진 않길 바란다. 자연수를 정초로 삼았을 때, 어떤 일이 벌어질 것인가에 대한 자연수 바깥에서의 증명이기 때문이다.

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

  다운로드 장바구니
• 

  논리주의,형식주의,직관주의

  괴델의 불완전성 정리 1931년 괴델이 발표한 논리학에 관한 정리이다. ... 그러나 수학이라는 게임은 괴델(Godel)의 ‘불완전성 정리’가 보여준 것처럼 완전하지 않다. 1931년 괴델은 형식주의자들의 논리를 통째로 무너뜨렸는데, 일정한 체계에서는 참이면서도 ... 그러나 괴델은 참이지만 증명이 불가능한 식을 제시하여 그렇지 않음을 보였 다. " 결과적으로 수학을 명백히 참인 순수 논리로 환원하여 수학의 확실한 기초를 확립하려는 논리주의 프로그램은

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

  다운로드 장바구니
• 

  [독후감/서평]페르마의 마지막 정리

  괴델은 거짓말쟁이의 역설을 재해석하여 ‘증명’의 개념을 이용한 역설을 만들었다. ‘이 문장에는 아무런 증명이 들어 있지 않다.’ 이 문장이 거짓이라면 증명이 가능해야 한다. ... 그렇지만 수학자 괴델의 증명은 수학이 아닌 순수 논리학이라고 말하는 게 더 타당해 보인다. ▣ 연관된 세상 일 또는 경험(12줄) 해마다 권장도서에는 수학과 관련된 책들이 빠지지 않는다

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

  다운로드 장바구니
• 

  제3장 수학과 문제해결

  방정식을 얻음미지인 것의 개수만큼 방정식을 얻음(연립방정식) ④ 연립방정식을 하나의 방정식으로 환원 2) 라이프니츠 : 모든 문제를 해결할 수 있는 일반적인 알고리즘을 찾으려 함 괴델의

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

  다운로드 장바구니
• 

  레베카 골드스타인의 불완전성을 읽고

  그러던 와중에도 여전히 쿠르드 괴델이라는 이름은 낯설기만 한 것이었다. 희한하게도 비트겐슈타인의 인생을 다룬 텍스트에도 러셀의 인생을 다룬 텍스트에도 괴델은 빠져 있었다. ... 괴델의 불완전성의 정리는 다음의 두 가지이다. 첫째, 모순 여부를 증명할 수 없는 명제가 존재한다. ... 괴델이라는 이름은 그저 아인슈타인의 동료 중 한 명 정도로만 접했으며 심지어는 나치의 괴벨스와 혼동을 할 정도였다.

  리포트 | 2페이지 | 1,000원 | 등록일 2012.05.06

  다운로드 장바구니
• 

  미학 오딧세이 2 인간의 조건 / 헤겔의 방학

  이들 세 명 모두 다른 지역, 다른 시대, 다른 활동영역이지만 악순환을 탐구한 공통점이 있다. ◎ 괴델 에셔 바흐 괴델의 ‘불완전성의 정리’에서 주장하는 내용은 “모든 정합적인 형식체계 ... 「미학 오딧세이 2」 인간의 조건 / 헤겔의 방학 《괴델 에셔 바흐》 마그리트의 「헤겔의 방학」이란 그림 속에는 패러독스 또는 이율배반이 들어 있다. ... 하지만 괴델이 그의 정리를 통해 증명한 것은 이런 체계란 있을 수 없다는 사실이다. 그에 따르면 이 체계속의 4개의 명제 중 적어도 하나는 참, 거짓을 결정할 수 없다.

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

  다운로드 장바구니