masatoi https://blog.hatena.ne.jp/masatoi/ masatoi’s blog https://masatoi.hateblo.jp/ 次の文は誤りである 前の文は正しい これは典型的な自己言及のパラドクスを２つの文で表したものです。 上の文が正しいなら、下の文は誤りである必要があり、下の文が誤りであるなら、上の文は誤りである必要があり、上の文が誤りであるなら、下の文は正しくなければならず… これは無限に続き、それが続いている限りは２つの文は常に真であり続ける。しかし証明はできない。これは計算が終わらない、ということでもある。チューリング機械の決定不能性とゲーデルの不完全性定理は結論のところで一致している。２つの文の関係はメビウスの帯の表と裏のようなもので、一歩引いて見ればそれは輪のように繋がっている。 帯の上を歩いていたので… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmasatoi.hateblo.jp%2Fentry%2F20060109" title="自己言及 - masatoi’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.mcescher.com/Gallery/recogn-bmp/LW437.jpg Hatena Blog https://hatena.blog 2006-01-09 00:00:00 rich https://masatoi.hateblo.jp/entry/20060109 1.0 100%