smoking186 https://blog.hatena.ne.jp/smoking186/ 186 @ hatenablog https://186.hatenablog.com/ book 萌えミステリ往復書簡 第七信「complicated context vs」 ６：ゲーデル問題 簡単な例を挙げると、我々が鉛直と認識している建物でも、宇宙から見れば鉛直には立っていない。建物が鉛直でないことを知るには、宇宙からどのように見えるのかを知る必要がある。テレビを見ている自分が映し出されたテレビを見ている自分が映し出されたテレビを見ている自分が……、この状況下で、「ここにいる自分も、テレビに映った像にすぎないのではないか」と疑ったとしても、それを確かめる術はない。1つの体系はその体系の中だけで自分自身の無矛盾性を立証できない、つまり、その世界に論理的な矛盾がないということを証明すること… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20040522%2F1085162177" title=" だからゲーデル&lt;em&gt;的&lt;/em&gt;（以下略 - 186 @ hatenablog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2004-05-22 02:56:17 rich https://186.hatenablog.com/entry/20040522/1085162177 1.0 100%