Register as a new user and use Qiita more conveniently You get articles that match your needsYou can efficiently read back useful informationYou can use dark themeWhat you can do with signing up

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