"괴델" 검색결과 141-160 / 241건

• 

  컴퓨터의 시작 엘런 튜닝

  프레게의 논리학에서 제안된 추론이 올바른지를 보여 줄 수 있는 계산 방법을 찾는 일은 1936년에, 그런 일반적인 방법은 존재하지 않는다는 괴델의 증명과 함께 최고조에 달하였다. ... 수학의 기초를 확보하려는 힐베르트의 프로그램, 이를 좌절시킨 괴델의 증명 이에 관한 강연을 듣고 결정 문제를 증명할 수 있는 알고리즘이 없다는 것을 어떻게 증명할 수 있을지 생각하게된

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

  다운로드 장바구니
• 

  [디지털, 컴퓨터예술, 사이버] 디지털 사회가 문화에 미치는 영향

  ‘그 자신의 괴델 문장이 참임’이다. ... 구현하는 형식 체계의 괴델 문장이 참임을 증명할 수 없지만 인간은 괴델 문장이 참임을 증명할 수 있다면 인간은 기계일 수 없다. ... 이것에 대한 증명을 살펴보자.전제 2)의 기계는 ‘어떤 괴델 문장이 참임’을 증명할 수 있다. 하지만 ‘자신의 괴델 문장이 참임’에 대한 증명을 그 기계는 증명할 수 없다.

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

  다운로드 장바구니
• 

  분석철학과 교육

  is white)부정 : 자기모순(snow is not snow)부정 : 거짓 종합명제(snow is not white)최근에 들어와서 논리적 실증주의는 모리스 이래 타르스키, 괴델

  리포트 | 6페이지 | 1,000원 | 등록일 2006.11.19

  다운로드 장바구니
• 

  [기독교]기독교) 하나님은 살아 계신가?

  너희들이 죽인 것이다” 의 의미를 몇 번이고 되뇌어보기도 했으며, 논리학자 괴델이 신의 존재에 대해 논리적 접근을 시도한 사실에 대해서도 관심을 가지고 있었다.내가 나름대로 내린 결론은

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

  다운로드 장바구니
• 

  [플라톤] 플라토니즘과 형식주의

  그러나 괴델은 참이지만 증명이 불가능한 식을 제시하여 그렇지 않음을 보였다. ... 비록 형식주의가 괴델의 불완전성정리에 의해 논리적으로 잘못된 점이 있다하더라도 이 이론은 수학의 그 완전성에 다가가기 위한 견인차역할을 충분히 했다고 볼 수 있다. ... 그러나, 1931년 괴델의 불완전성정리들(이정리가 발표되기 이전까지는 러셀과 화이트 헤드를 포함한 대부분의 논리학자들은 주어진 수학적 명제의 참과 거짓을 판별할 수 있는 절대적인 지침이

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

  다운로드 장바구니
• 

  [수학독후감]스파게티에서 발견한 수학의 세계를 읽고

  라는 괴델의 불확정성 원리, 토끼 한 쌍이 얼마나 많은 새끼를 퍼뜨릴 수 있는지를 증명한 피보나치의 수열, 1994년에야 비밀을 벗은 악명 높았던 수학의 난제인 페르마의 마지막 정리 ... 공리, 괴델, 대수적 수, 무리수, 블로킹 셋, 사영 평면, 비가산 집합, 비가부번 집합, 가부번 집합, 소인수 분해, 10차 사영 평면, 아핀 평면, 역함수, 유리수, 초월수, 칸토어

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

  다운로드 장바구니
• 

  [논리학] 논리학

  . 파스칼의 역설.파스칼은 프랑스의 천재적인 수학자이며 철학자였고 물리학자였다. 그는 많은 문제들을 논리적인 방법으로 풀어준 17세기에 태어난 사람들 중에 가장 많은 영향력을 세상에 미친 학자였다. 젊은 날 그는 이미 많은 부와 명예를 한 몸에 지녔던 사람으로 삼십을 ..

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

  다운로드 장바구니
• 

  [소설] 골드바흐의 추측

  (괴델을 찾아가 묻지만, 불완전성의 정리를 통해 주어진 가설에 정리가 적용이 되는지 안 되는지 미리 결정짓는 절차가 없다고 하자, 그는 분노한다. ... 자신의 실패를 괴델의 정리로 보호막을 만들고 스스로를 정당화한 것이다. 하지만, 모든 일이 그렇듯 그 일의 결과를 처음부터 알 수 있는 사람은 아무도 없다.

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

  다운로드 장바구니
• 

  타임머신의 역설

  괴델은 우주 자체가 회전을 하면 그 주변의 빛을 끌어당기게 되면서 ‘일시적인 인과율의 고리'가 실제로 생성될 수 있다고 생각하고 있다. ... 이것을 “닫힌 시간성 곡선”이라고 부르는데 괴델은 입자 바로 근처에서는 어떠한 경우에도 빛의 속도를 초과함 없이 시간의 닫힌 경로를 따라 움직일 수 있으므로 시간 여행을 한 뒤에 정확히

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

  다운로드 장바구니
• 

  원광대학교 인터넷강의 미래사회와정보기술 기말고사 총정리

  . - 프레게, 버트런드 러셀, 괴델 등 많은 논리 수학자의 노력으로 형식 논리학은 세련, 체계화됨. - 튜링 : 기호 연산을 기계적으로 할 수 있는 방법을 연구함.

  시험자료 | 49페이지 | 5,000원 | 등록일 2015.12.29 | 수정일 2016.03.09

  다운로드 장바구니
• 

  평행우주 - 미치오 카쿠

  그리고 반 스토쿰, 괴델, 손, 호킹, 고트 등은 실제로 시간 여행이 어떻게 가능할 수 있는지에 대한 연구를 실시하였는데, 이것은 인과론에 근거한 역설에서 벗어나지 못한다는 한계를

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

  다운로드 장바구니
• 

  [초등수학] 사람들이 미쳤다고 말한 외로운 수학 천재 이야기』를 읽고 나서...

  또한 증명 가능할 것으로 여겼던 골드바흐의 추측은 괴델의 불완전성 정리인 참 명제라 할지라도 항상 증명 가능한 것은 아니다는 논리 앞에 무너진다. ... 또한 책을 통해 흥미로웠던 것은 페트로스가 비록 가상의 인물이지만, 괴델, 하디, 라마누잔 등 실제 수학에서 등장하는 인물들을 소설속에 등장시켜 흥미진진한 스토리로 전개함으로써 현장감과

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

  다운로드 장바구니
• 

  [수학] 직관주의와 형식주의

  BULLETIN(New Series) OF THE AMERICAN MATHEMATICAL SOCIETYVolume 37, Number 1, Pages 55 64S 0273-0979(99)00802-2Article electronically published on Dec..

  리포트 | 9페이지 | 무료 | 등록일 2004.07.13

  다운로드 장바구니
• 

  과학혁명의 지도자 서평

  힐베르트는 비록 후일 괴델에 의해 무너졌지만 수학으로 모든 세계를 규명하려 한 대가였으며, 노버트 위너는 '정보 시대'의 개념을 도입하며 전혀 새로운 과학 사이버네틱스를 제안했다.

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

  다운로드 장바구니
• 

  원광대학교 인터넷강의 미래사회와정보기술 중간고사 총정리자료

  계산으로 환원할 수 있는 기계를 꿈꿈) 라이프니츠: 인간의 사고 또는 인간의 이성을 수학적 계산으로 환원할 수 있는 기계를 꿈꿈 프레게: 인간의 논리 추론을 설명할 수 있는 체계 마련 괴델

  시험자료 | 51페이지 | 5,000원 | 등록일 2015.12.29 | 수정일 2016.03.09

  다운로드 장바구니
• 

  수학교육평가의 행동분류-문제해결과 2009 개정 교육과정을 중심으로

  해석은 괴델의 불완전성 정리의 의미를 해석하여 그것과 같은 은유를 가진 속담을 이야기할 수 있는 것과 같다.

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

  다운로드 장바구니
• 

  수학이 컴퓨터와 의료기술의 발달에 미친 영향

  그런데 오늘날의 컴퓨터는 이진법의 계산 원리에 의해 작동된다.18세기 라이프니츠가 세상의 언어 표현을 몇 가지 간단한 기호 속에 모두 담으려는 꿈을 힐베르트, 괴델, 튜링으로 이어지는

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

  다운로드 장바구니
• 

  [기호논리학] 대표적 역설

  1. 제논(Zenon, B.C.490～B.C.429)의 역설제논은 스승 파르메니데스의 설을 옹호하기 위해 역설을 고안해 내었다고 한다. 그 고안해 낸 역설은 다(多)와 운동의 존재를 인정하면 자기 모순에 빠지게 된다는 것을 증명한 것으로, 크게 다부정론(多否定論)과 운..

  리포트 | 8페이지 | 1,500원 | 등록일 2004.12.16

  다운로드 장바구니
• 

  [수학이론] 사람들이 미쳤다고 말한 어느 외로운 수학 천재 이야기- 골드바흐의 추측

  이러한 이유 때문에 위대한 지성들(라마누잔, 하디,튜링, 괴델 등등) 대부분의 생의 마지막이 불운한 하였음을 보여준다.

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

  다운로드 장바구니
• 

  [도서평] 과학혁명지도자들 읽고난후 서평

  힐베르트는 비록 후일 괴델에 의해 무너졌지만 수학으로 모든 세계를 규명하려 한 대가였으며, 로버트 위너는 정보시대의 개념을 도입하며 전혀 새로운 과학 사이버네틱스를 제안했다.

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

  다운로드 장바구니