# [Incompleteness.txt](https://sno2wman.github.io/incompleteness.txt/main.pdf)

## Description

不完全性定理についての様々な話題についてのメモ書きです．

### Sections

現在企んでいる章としては以下のものがあります．

- 可証性述語の構成まで正確に記述したGödelの不完全性定理の証明
- Löbの定理
- Robinson算術についての第2不完全性定理
- Boolosの不完全性定理
- 証明可能性論理
- Chaitinの不完全性定理
  - 抜き打ちテストのパラドクスの形式化
- Grzegorczykの連結の理論

最新のPDFをいつでも[ここ](https://sno2wman.github.io/incompleteness.txt/main.pdf)から閲覧することが出来ます．

### Technical Details

この文書は[Typst](https://typst.app/)という組版システムで書かれています．
またリポジトリに更新が入る度にGitHub Actions上で文書がコンパイルされ，生成されたPDFファイルはGitHub Pagesにデプロイされます．そのためコンパイルに失敗していなければ，常に最新の文書が閲覧可能になっているはずです．

## Status

[![Deploying](https://github.com/SnO2WMaN/incompleteness.txt/actions/workflows/gh-pages.yml/badge.svg)](https://github.com/SnO2WMaN/incompleteness.txt/actions/workflows/gh-pages.yml)

## LICENSE

[![GitHub](https://img.shields.io/github/license/sno2wman/incompleteness.txt?style=flat-square)](https://github.com/SnO2WMaN/incompleteness.txt/blob/main/LICENSE)
