d라이브러리
"모순"(으)로 총 439건 검색되었습니다.
- [역설 나라의 앨리스] 제 11장. 선택 공리가 만드는 역설수학동아 l2022년 12호
- 구호로 내세워, ‘형식주의’ 수학을 주장했습니다. 그들은 선택 공리가 심각한 모순을 일으키지 않는 선에서 수학 체계를 더 풍부하게 만든다면, 선택 공리는 인정하는 것이 바람직하다고 생각했어요. 이 논쟁에서 누가 승리를 거두었을까요? 아무래도 형식주의가 승리했다고 봐야겠네요. ... ...
- [수학 체험실] 무한 계단을 따라 째깍째깍 흘러가는 시계수학동아 l2022년 12호
- 착시 그림 연구에 소개하면서 널리 알려졌다. 펜로즈 계단은 무한 반복, 제자리라는 모순된 의미를 담고 있어 영화, 그림, 게임 등에서도 종종 등장한다. 그중 가장 유명한 것이 앞서 이야기한 영화 ‘인셉션’이다. 어디가 시작이고 어디가 끝인지 알 수 없는 무한 순환구조로 반복되는 계단은 ... ...
- [역설 나라의 앨리스] 제 9 장. 역설의 꼬리표 달린 정리수학동아 l2022년 10호
- 꼬리표가 붙게 됐는지 알아 볼게요. ♥ 근사한 속임수 바나흐-타르스키 역설은 논리적 모순이 없기 때문에 사실 바나흐-타르스키 정리라고 부르는 것이 올바릅니다. 그러나 이 정리의 결론이 직관과 크게 어긋나는 바람에 역설이라는 꼬리표가 달렸지요.바나흐-타르스키 역설이 무엇인지 ... ...
- [역설 나라의 앨리스] 제8장. 절대로 해결할 수 없는 문제수학동아 l2022년 09호
- G, G)가 참이려면 G(G)는 정상 종료해야 합니다. 이것도 모순이에요. 두 가지 가능성 모두 모순된 결과를 내놓는다면 가능한 결론은 하나뿐입니다. 맨 처음 가정, 즉 정지 문제가 가능하다는 가정이 틀렸던 것입니다! 튜링은 튜링 기계를 이용해 논문 ‘계산 가능한 수와 결정문제의 응용에 ... ...
- [역설 나라의 앨리스] 제6장. 괴델 수와 모순수학동아 l2022년 06호
- 1931년 오스트리아 출신 미국 수학자 쿠르트 괴델이 발표한 ‘불완전성 정리’는 모순 없는 공리계를 만들고자 노력한 수학자들의 희망을 앗아가 버렸습니다. ... 이는 모순이므로, 문장 a는 증명이 불가능합니다. 따라서 수학 체계는 스스로 모순적이지 않다는 사실을 증명할 수 없습니다 ... ...
- [특집] 작가&철학자 러셀 생각을 글로 표현한 지식인수학동아 l2022년 05호
- 반대는 거짓이어야 한다는 ‘배중률 법칙’이 있는데, 이를 어기는 문장인 거지요. 이런 모순을 말끔히 해결한 것이 러셀의 ‘기술 이론’이에요. 기술 이론은 주어가 지칭하는 것 자체에 담겨 있는 의미를 분해해 그것이 존재하는지 묻는 질문으로 대신하는 거예요. 러셀은 기술 이론을 설명할 때 ... ...
- [특집] 수학자 러셀 수학을 논리 위에 세우다수학동아 l2022년 05호
- 러셀이 첫 번째로 가진 직업은 수학자예요. 24살의 어린 나이에 대학교 수학과의 선임 연구원이 되어 연구와 강의를 이어 가게 되지요. 그런데 러셀이 수학자가 ... 다졌습니다. 또 언어적 모호함을 배제한 기호 사용은 현재 프로그래밍 언어에서 논리적 모순을 찾는 데 많이 활용한답니다 ... ...
- [역설 나라의 앨리스] 제5장. 힐베르트의 도전수학동아 l2022년 05호
- 그러나 많은 수학자는 완전성 정리를 발판 삼아 자연수 이론까지 구성할 수 있는, 모순 없는 수학 체계도 머지않아 발견할 것이라고 생각했죠. 그리고 정말로 이듬해 괴델이 완전성 정리보다 더 놀라운 정리를 발견했다는 사실이 전해지자 수학계는 다시 한번 떠들썩해졌습니다 ... ...
- [발칙한 역설] 제4장. 러셀의 일격수학동아 l2022년 04호
- 자기 자신을 포함한다’는 가정과 ‘RS는 자기 자신을 포함하지 않는다’는 가정이 둘 다 모순되는 명제입니다. 이런 러셀의 역설에 의해 집합으로 구성된 프레게의 수학 체계는 엉터리인 것으로 드러났지요. ◆ 러셀의 역설 그 이후 러셀의 역설로 인해 수학계는 떠들썩해졌습니다. 논리주의 ... ...
- [역설 나라의 앨리스] 제 3장. 수학 밑바닥 이야기수학동아 l2022년 03호
- 당황한 프레게는 서둘러 모순을 고치고자 다양한 방법을 찾아봤지만, 결국 모순을 고치지 못하고 자연수 이론의 증명을 포기할 수밖에 없었습니다. 절망한 그는 2권 출판을 없었던 일로 하려고 했지만, 출판사의 설득 끝에 2권을 출판하되 다음과 같은 주석을 책 끝에 남겼습니다 ... ...
이전1234567 다음