선택 공리(Axiom of choice) 관련 개그

페북에서 선택 공리(AC) 관련한 개그를 꽤 많이 봤던 것 같은데, 막상 포스팅하려니 두 개 밖에 못 찾겠네-_-


AC천국 불신지옥!


셀 수 없이 많은 소원을 원해!

AC를 가정하여 나오는 별의별 정리들이 연구돼 있어서 이걸 정리해 보자는 프로젝트[1,2]도 있던데, 여하간 많은 수학자들이 편의상(?) ZFC 모델을 따르고 있지만, 위키피디아를 보니 ZF¬C 같은 변태적 모델-_-을 연구하는 사람도 좀 있는 듯. nLab을 보니 excluded middle이 AC의 weak form이라는데[3] 이유는 잘 모르겠다. ㅋ 여하간 그런 이유로 constructivist들이 AC를 별로 안 좋아하는 것 같다. ㅎ

.


2019.10.23

아 이거 무슨 영화 패러디지?? 초 자주 보이네. ㅋㅋㅋ

.


[1] Consequences of the Axiom of Choice Project Homepage (math.purdue.edu/~hrubin/)
[2] Consequences of the Axiom of Choice (Mathematical Surveys & Monographs) (amazon.com)
[3] excluded middle (nLab)

답글 남기기

아래 항목을 채우거나 오른쪽 아이콘 중 하나를 클릭하여 로그 인 하세요:

WordPress.com 로고

WordPress.com의 계정을 사용하여 댓글을 남깁니다. 로그아웃 /  변경 )

Google photo

Google의 계정을 사용하여 댓글을 남깁니다. 로그아웃 /  변경 )

Twitter 사진

Twitter의 계정을 사용하여 댓글을 남깁니다. 로그아웃 /  변경 )

Facebook 사진

Facebook의 계정을 사용하여 댓글을 남깁니다. 로그아웃 /  변경 )

%s에 연결하는 중

This site uses Akismet to reduce spam. Learn how your comment data is processed.