** �섑븰諛뺣Ъ愿�� ㅼ떊嫄� �섏쁺�⑸땲��. **

HOME >수학나눔>수학백과사전

[수학기초론] 러셀의 역설/Russell's paradox, Russell's Antinomy

[출전]수학용어 다시보기(박교식 저)

· Posted at 2011-12-03 09:54:38 by 수학사랑 · View 2476

자기 자신을 원소로 갖지 않는 모든 집합들을 원소로 갖는 집합을 
R이라고 하자. 
그러면 집합 R은 집합 R의 
원소이기도하고 원소가 아니기도 하여 모순이 된다. 즉,
<IMG 
src="http://www.mathlove.kr/shop/data/editor/1323217243.JPG">
만일 X ∈ R이면 집합 R은 
자기 자신을 원소로 갖지 않아야 하므로 <IMG 
src="/shop/lib/meditor/../../data/editor/1323217577.JPG">가 되어 모순이다.
한편 <IMG 
src="/shop/lib/meditor/../../data/editor/1323217623.JPG">이면 집합 
R의 원소가 되는 조건을 만족하므로 X ∈ R가 되어 모순이다.
이것을 러셀의 역설이라고 한다.
1901년 러셀이 위의 역설을 발견하고 프레게(G. Frege)에게 편지를 보냈다. 

프레게는 이 때 Grundlagen der Arithmetik 라는 책을 
완성하고 있었다. 
이 역설은 그의 책의 엄밀성에 많은 흠집을 내게 되었고, 프레게는 다음과 같은 내용의 글을 
덧붙여야만 했다.
"한 과학자는 막 작업이 끝난 책이 소용없을 만큼 탐탁한 어떤 것도 만나지 못했다. 러셀의 
편지로부터 나는 책을 인쇄하기 직전에 그런 위치에 놓이게 되었다."
"A scientist can hardly meet with anything more 
undesirable than to have the foundation give way just as the work is finished. I 
was put in this position by a letter from Mr.&nbsp;Bertrand Russell when the 
work was nearly through the press."
사실 러셀 자신도 이 역설에 큰 충격을 받았다. 
이로 말미암아 집합론, 논리학, 나아가 수학 전체의 정당성에 대한 재검토를 하게되는 계기가 
되었다.
공리론적 집합론에서는 러셀의 역설이 있어도 이론적으로 큰 문제가 되지 않은 매우 큰 모임을 
클래스(class)라고 한다. 
이 클래스들 중에서 공리를 이용하여 러셀의 역설이 생기지 않도록 크기를 줄인 것을 
집합(set)이라고 한다.

Total 977 Articles, 55 of 98 Pages

437	[수학기초론]	마루함수/Floor function	수학사랑	1963

436	[수학기초론]	명제/proposition	수학사랑	4794

435	[수학기초론]	멱집합/power set	수학사랑	1966

434	[수학기초론]	맞꼭지각/vertical angles	수학사랑	1966

433	[수학기초론]	러셀의 역설/Russell's paradox, Russell's Antinomy	수학사랑	2476

432	[수학기초론]	뢸로 삼각형/Reuleaux Triangle	수학사랑	5303

431	[수학기초론]	뢸로 다각형/Reuleaux Polygon	수학사랑	5405

430	[수학기초론]	동위각과 엇각/corresponding angles	수학사랑	2124

429	[수학기초론]	롤의 정리/Rolle's Theorem	수학사랑	2042

428	[수학기초론]	덧셈표/addition table	수학사랑	2014

[1] ◀ [51] [52] [53] [54] 55 [56] [57] [58] [59] [60] ▶ [98]

이름 제목 내용