- [x] 第1章 導入 - [x] 第2章 ジャンププログラム - [x] 第3章 万能関数 - [x] 第4章 計算可能・不可能の境界付近 - [ ] 第5章 原始帰納的関数 - [ ] 第6章 帰納的関数 - [ ] 第7章 半決定可能集合 - [ ] 第8章 計算不可能性の度合い - [ ] 第9章 チューリング機械 - [ ] 第10章 P≠NP予想 - [ ] 第11章 ラムダ計算