ytb https://blog.hatena.ne.jp/ytb/ あいまいな本日の私 blog https://ytb.hatenablog.com/ logic どーも、皆様お久しぶりです。前回が10月28日、一ヶ月強の時間が空いてしまいました。今回は前回までのまとめということで、不動点とラッセルのパラドクスの関係をおさらいしたいと思います。 自己言及性の統一的取り扱い さて、誰もが言うことですが、ラッセルのパラドックスと嘘つきのパラドックスは「似ています」。同じ自己言及型のグレリングのパラドックスも似ています。他に、カントールの |P(X)|> |X| を始め、多くの定理は対角化で証明されますが、それらの証明はとてもよく「似ています」。しかし、似ているのはいいのですが、「似ているよ分析」では困ります：どんな意味で「似ている」のか、もう少しきっちりと語… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20071209%2Fp1" title=" ラッセルのパラドックス：傾向と対策 (3.3): 不動点と自己言及パラドックス - あいまいな本日の私 blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/y/ytb/20071209/20071209204634.jpg Hatena Blog https://hatena.blog 2007-12-09 00:00:01 rich https://ytb.hatenablog.com/entry/20071209/p1 1.0 100%