[일반] 사소한 디테일 안따지는거 좆같지않냐

[익명(45.8)]

이런거 파고들어서 물어보면 이상한놈 취급하고 존나 귀찮아하는데 막상 파고들면 자명한것도 아님

이런거중에 canonical identification이라고 존나 쉽다는듯 얘기하는데 연속체가설 가정하면 거짓인것도 봄

[익명(39.7)]

그게 뭔데 예시를 가져와줘

[익명(175.223)]

연속체가설을 전제로 하는게 아니라 연속체가설이 참일때 거짓이라고? ㅋㅋㅋㅋ 그런건 또 처음 들어보네

[ultraproduct(ultraproduct)]

글쓴이가 말하는 게 뭔지는 모르나, 연속체 가설과 관련되어 괴델의 마음을 바꾼 사례는 strongly measure 0 set of R. R(실수 집합)의 부분집합 A가 strongly measure 0 라는 것은, 임의의 양수열 (ε_n: n in N)에 대해, 구간열 (I_n: in N)이 존재하여

[ultraproduct(ultraproduct)]

I_n들의 union이 A를 포함하고, 각 I_n의 길이는 ε_n 미만을 만족함을 뜻함. 정의로부터, countable subset of R이 strongly measure 0임을 알 수 있음. 핵심 질문은 역이 성립하는 가였고, 괴델은 CH 하에서 역이 성립하지 않음을 알게 되어 CH에 대한 마음을 바꾸게 됨.

[ultraproduct(ultraproduct)]

ZF에서 Constructible universe, L을 세워 ZF가 일관적이라면 ZFC+GCH가 일관적임을 보인 것이 괴델 자신이었지만.

[익명(59.21)]

사소하긴하네

[익명(175.112)]

trivial to say trivial

[익명(211.246)]

예비 칸토어 볼츠만 게이야...

[익명(77.103)]

수학에서 자명한것은 사소한것이 되지만, 사소하다고 항상 자명한게 아니라서 ㅋㅋ 어떤걸 증명하기위한 큰 아이디어가 있으면 그 아이디어를 실현하기 위한 자잘한것들 중에서 작은것들을 사소하다고 떠넘기는 경우가 많지. 보통 그런 자잘한것들의 디테일을 채우는건 그 분야에서 오래 구르다보면 할만해짐.