cookie-box https://blog.hatena.ne.jp/cookie-box/ クッキーの日記 https://cookie-box.hatenablog.com/ 雑記 数学ガールのシリーズ3作目に「数学ガール/ゲーデルの不完全性定理」がある。 帯の「数学って、不完全だったの？」というコピーがいい。数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)結城 浩 SBクリエイティブ 2009-10-27売り上げランキング : 29868Amazonで詳しく見る by G-Toolsこのシリーズ5作は以前読んだけど、理解していない箇所も多いので読み返したい。それでのっけから引っかかったのでメモ。 "ゲーデル篇" の2章には僕、テトラちゃん、ミルカさんがペアノの公理―"自然数の定義"―を読み解くシーンがある。PA1 は の元である。 PA2 任意の に対して… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcookie-box.hatenablog.com%2Fentry%2F2016%2F11%2F06%2F003320" title="雑記： 読書メモ - クッキーの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/514bGkTG2BL.jpg Hatena Blog https://hatena.blog 2016-11-06 00:33:20 rich https://cookie-box.hatenablog.com/entry/2016/11/06/003320 1.0 100%