2023.09.11
https://gyazo.com/e1f10e26db462f90ed5f3f02e39a2bd2
前：2023.09.10
後：2023.09.12
#日報
観た
デストイレ
ひどい(1)
デストイレ SEASON 2
ひどい(2)
re: とある科学の超電磁砲 第3話
灼眼のシャナ 第3話
re: Do It Yourself!! -どぅー・いっと・ゆあせるふ- 【すてっぷ3】「ＤＩＹって、どうして・いきなり・やっていた？」
読んだ
ロシアの謎の音楽「メイドコア」 (外部記事)
https://www.zippu21.com/maidcore/
Yakui the Maidってこういう文脈なのか
東方アレンジが云々の話３(外部記事)
https://note.com/knpls/n/ne7551b1f84ae
メモ
導出可能性条件と可証性論理
そのうちタイトルは変える．
知った
T. Kurahashi; "Rosser Provability and the Second Incompleteness Theorem"やT. Kurahashi; "A Note on Derivability Conditions"を読むと導出可能性条件を更に細かく分類している
Local Delivability Conditions / Uniform Derivability Conditions / Global Derivability Conditions
どういう意味でLocal / Uniform / Globalなのかはよくわかっていない．
今日ではあまり触れられることがないHilber-Bernaysの導出可能性条件（D. Hilbert, P. Bernays, "Grundlagen Der Mathematik"による）なども触れられている
無矛盾性を表す文のとり方について
多すぎるのでどこかに整理しておきたい
Buchholzの導出可能性条件
導出可能性条件のいくつかの一般化
T. Kurahashi; "第2不完全性定理について"
正直このスライドがまとまっている気がする
第2不完全性定理証明というタイトルの方が実情を表しているかもしれない．
Gödelの第2不完全性定理
Hilbert-Bernaysの第2不完全性定理
Löbの第2不完全性定理
Jeroslowの第2不完全性定理
Montagnaの第2不完全性定理
Buchholzの第2不完全性定理
https://gyazo.com/df229fb90403c557ca73e23f3035cde4
思った
Buchholzの導出可能性条件についてはなぜかW. Buchholz; "Mathematische Logik II"という講義のテキストにまとまっており，謎すぎる