北田 発見への道の勉強開始

今日からしばらく以下のテキストブックでゲーデル不完全性定理を勉強する

「理系への数学」に連載していたものをまとめたもののようだ。ぱっと見たところ、メタな議論をすることに特化している模様。日本語が多いので読みやすい。ゲーデルナンバリングの振り方に特徴がある。初学者向けではなさそう。短くて読みやすそう。

ブログタイトルでは、「発見への道」と称することにする。