2023.07.17
前：
2023.07.16
後：
2023.07.18
#日報
やった
Chaitinの不完全性定理
Kolmogorov複雑度的な乱数の無限存在定理からGödelの不完全性定理を導く
Kolmogorov複雑度的な乱数の無限存在定理からGödelの不完全性定理を導く#64b522f113a1580000156372
ここだけよくわからない．別に
$ b
の下限を
$ n + 1
で抑えられるということはなさそうな気もするが
菊池誠; "不完全性定理"
では自明と書かれていた
たすけてー！
再帰的可算だが再帰的ではない集合から第1不完全性定理を導く
思った
篠田寿一『帰納的関数と述語』
ほしすぎる
Gödel数
に基づく
Kolmogorov複雑度
の定義が載っているらしい
どんな本なんだ？
また
再帰的関数
とかあの変の話がスっぽ抜け始めてきた
菊池誠; "不完全性定理"
やっぱり通しで全部読み直してみようかかな…
Chaitinの不完全性定理
のよくわからなさ
思った
Scrapbox
って
\nvdash
$ \nvdash
及び
\nvDash
$ \nvDash
使えるのか