「100日後にゲーデルの不完全性定理を理解するペンギン」0日目｜川井新｜note

いろんな方がそれぞれの100日後までの行動を記録するきっかけとなっているようなので、オルガノンクラスも100日後にゲーデルの不完全性定理を理解することにしました。 一日一回更新して、100日後にはゲーデルの不完全性定理のちょっとした解説が完成する予定です。どうなるか自分でも不安ですが、数学しましょう。 画像はむかし頂いたものの使い回しです。このペンギンは「ラムダペンギン」と呼ばれていましたが、たぶん今後出てきません。 記事一覧1日目: 話題のスケッチ 2日目: 批判指摘をうけて、まとめと方針について 3日目: 述語論理の構文論 4日目: 構造を使った述語論理の意味論 5日目: Hilbert式の証明論 6日目: 理論の定義、モデル、証明可能性と演繹定理 7日目: お休み 8日目: 群の理論を用いた理論と構造と具体例 9日目: これまでのまとめと今後の予定 オルガノンクラスとはオルガノンクラ

[ryuzi_kambe]

100日シリーズ粒揃えたら新しいシリーズの構成単位になりそう。1クール100日（休日あり）で年3クールとか。