念のため、私が「これはぐにぐにやると証明できる」とか言っているときは、真面目に検証する必要はないですから。もちろんやりたい人はやってもらってかまいませんし、その分野の研究者になりたいなら当然やるべき。*1でも、わかるところからなんとなく気軽…

はてなの続き。最初に断っておくと、Woodinなどがをプッシュしている理由は今回書くものよりもはるかに高度なものです。まあ、よく知られている現象ということで。 えーと、脚注についているのは同業者じゃないとわからない内容だと思うのでわからなくても無…