cookie-box https://blog.hatena.ne.jp/cookie-box/ クッキーの日記 https://cookie-box.hatenablog.com/ 本読み 数理論理学 読んでいる本（出典）： 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回： ノート3 ／ 次回： まだ 目次： 数理論理学以下、第5章後半の自分の理解。 最後の節（標準形）がまだ読めていないので、後でこの記事に加筆するか、新しい記事にまとめる。前回までのあらすじ（一階述語論理の統語論） 命題論理では扱えない「すべての について～」「ある が存在して～」のような知見を表現すべく、論理式を名前と述語に分けます。 や といった量化子を導入します。 論理式がすごい増えてしまいそうですが、自然数で番号付けできます（ゲーデル数）。 但し、論理式のパーツになる記号の集合 は高々可算集合とする… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcookie-box.hatenablog.com%2Fentry%2F2017%2F02%2F13%2F233755" title="数理論理学： ノート4 - クッキーの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=x Hatena Blog https://hatena.blog 2017-02-13 23:37:55 rich https://cookie-box.hatenablog.com/entry/2017/02/13/233755 1.0 100%