遺伝的有限集合勉強会 5
by connpass
概要
HFと有限の世界を勉強しましょう。
第5回は[1]の
IV.3.9, IV.3.11のあたりを読みます.
予習不要
計画
I章
p.107 HFの定義
p.119 データ構造の例
II章
II.17 Δ0
II.17.21 Σ1, Π1
II.18 CST
III章
III pp.273- 有限主義
IV章
IV pp.289- (ω| HF)上(Δ0|Δ1)
IV.3.1 HFでの決定可能性, 計算可能性
IV.3 pp.313- 構文のencoding
... (この辺未定; [2]も参照しつつやる)
IV.5.32 第二不完全性
教科書
[1] https://www.nippyo.co.jp/shop/book/7176.html
参考書
[2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346