백색광에 나오는 알레프 수가 뭔지 찾아봤습니다.
https://ko.wikipedia.org/wiki/%EC%95%8C%EB%A0%88%ED%94%84_%EC%88%98
https://ko.wikipedia.org/wiki/%EC%A7%91%ED%95%A9%EB%A1%A0
알레프-눌이니 알레프-원이니 영문을 모를 단어들이 많이 나와서 한번 찾아봤는데, 알레프 집합과 알레프 수라고 실제로 수학자 게오르그 칸토어가 발견한 집합론에 나오는 용어들입니다.
ℵ0[편집]
은 가산 무한 집합의 크기이다. 예를 들어, 자연수의 집합 , 정수의 집합 , 유리수의 집합 등이 이 크기이다.
ℵ1[편집]
은 가장 작은 비가산 기수이다. 이는 모든 가산 순서수들의 집합의 크기이다. 선택 공리를 추가한 체르멜로-프렝켈 집합론에서는 연속체 가설이 독립적이므로, 실제로 크기가 이라고 증명할 수 있는 집합들은 그리 많지 않다.
위에 있는 두개의 설명 중 위에 있는 것이 알레프-눌이고 아래에 있는 것이 알레프-원입니다.
백색광은 아무래도 우리의 생각보다 훨씬 미친 캐릭터인 것 같습니다.
(글쓴이의 백색광 스펙 번역글)
추천0
[신고]