nissygale https://blog.hatena.ne.jp/nissygale/ nissygaleの日記 https://nissygale.hatenadiary.org/ 理論理性は、それが成り立つものとして展開された。 それが成り立つかどうかは、問題にされなかった。 * 理論理性が成り立つなら、それが成り立つことを証明せよ。 これがKleeneの定理である。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnissygale.hatenadiary.org%2Fentry%2F20140407%2F1396900269" title="ゲーデルの不完全性定理で始めよう - nissygaleの日記" 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 2014-04-07 04:51:09 rich https://nissygale.hatenadiary.org/entry/20140407/1396900269 1.0 100%