不完全性定理についての様々な話題についてのメモ書きです．
現在企んでいる章としては以下のものがあります．
- 可証性述語の構成まで正確に記述したGödelの不完全性定理の証明
- Löbの定理
- Robinson算術についての第2不完全性定理
- Boolosの不完全性定理
- 証明可能性論理
- Chaitinの不完全性定理
- 抜き打ちテストのパラドクスの形式化
- Grzegorczykの連結の理論
最新のPDFをいつでもここから閲覧することが出来ます．
この文書はTypstという組版システムで書かれています． またリポジトリに更新が入る度にGitHub Actions上で文書がコンパイルされ，生成されたPDFファイルはGitHub Pagesにデプロイされます．そのためコンパイルに失敗していなければ，常に最新の文書が閲覧可能になっているはずです．
