위키백과

선택 공리: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
120번째 줄:
1904년에 [[에른스트 체르멜로]]는 [[정렬 정리]]를 보다 더 자명한 원리로부터 유도하기 위하여 선택 공리를 도입하였고, 이를 통해 [[정렬 정리]]를 증명하였다.<ref>{{저널 인용|이름=Ernst|성=Zermelo|저자고리=에른스트 체르멜로|제목=Beweis, daß jede Menge wohlgeordnet werden kann. (Aus einem an Herrn Hilbert gerichteten Briefe)|저널=Mathematische Annalen|권=59|호=4|쪽=514–516|날짜=1904|url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002260018|doi=10.1007/BF01445300|issn=0025-5831|jfm=35.0088.03|언어=de}}</ref>
 
1923년에 [[다비트 힐베르트는힐베르트]]는 일종의 선택 연산을 포함한 논리 체계를 제시하였다.<ref>{{저널 인용|성=Hilbert|이름=David|저자고리=다비트 힐베르트|날짜=1923|제목=Die logischen Grundlagen der Mathematik|저널=Mathematische Annalen|권= 88|쪽=151-165|url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002269139|issn=0025-5831|jfm=48.1120.01|언어=de}}</ref><ref>{{저널 인용|성=Hilbert|이름=David|저자고리=다비트 힐베르트|날짜=1925|제목=Über das Unendliche|저널=Mathematische Annalen|권=95|쪽=161–190|jfm=51.0044.02|issn=0025-5831|url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002270641|언어=de}}</ref> 힐베르트는 이 기호를 <math>\epsilon</math>이라고 표기하였다. 예를 들어, 술어 <math>P(x)</math>에 대하여 <math>\epsilon(P)</math>는 (만약 <math>\exists xP(x)</math>라면) <math>P(\epsilon(P))</math>를 만족시키는 집합이다. 이와 유사하게, [[니콜라 부르바키]]는 1954년에 집합론 교재에서 선택 연산 <math>\tau</math>를 사용하였다.<ref>{{서적 인용|제목=Éléments de mathematique. Théorie des ensembles. Chapitre 1. Description de la mathématique formelle|이름=Nicolas|성=Bourbaki|저자고리=니콜라 부르바키|날짜=1954|판=1|출판사=Hermann et compagnie|zbl=0055.27902|언어=fr}}</ref>
 
1924년에 [[알프레트 타르스키]]는 타르스키 정리(선택 공리가 모든 무한 집합 <math>X</math>에 대하여 <math>|X|=|X^2|</math>인 것과 동치)를 프랑스의 한 유명 저널에 출판하려 하였는데, 이때 원고를 심사한 [[모리스 르네 프레셰]]는 "자명하게 참인 두 명제의 동치는 출판될 가치가 없다"고 답변하였고, 반면 같은 원고를 심사한 [[앙리 르베그]]는 "자명하게 거짓인 두 명제의 동치는 출판될 가치가 없다"고 답변하였다고 한다.<ref>{{저널 인용|제목=A system of axioms of set theory for the rationalists|이름=Jan|성=Mycielski|url=http://www.ams.org/notices/200602/fea-mycielski.pdf|저널=Notices of the American Mathematical Society|날짜=2006-02|권=53|호=2|쪽=206–213|zbl=1102.03050|언어=en}}</ref>{{rp|209}} 타르스키는 결국 논문을 타 저널에 출판하였다.<ref name="Tarski"/>
원본 주소 "https://ko.wikipedia.org/wiki/선택_공리"