2024.03.10
https://gyazo.com/1a69364a22e2f7bc5bfca904e69316f9
PART 2
前:
2024.03.09
後:
2024.03.11
#日報
行った
再び兵庫県神戸市へ
読んだ
Aspects of Incompleteness: Chapter 1 読書録1
副読本として
菊池誠; "不完全性定理"
が要るし,要りすぎてる
P. Lindström; "Aspects of Incompleteness"
のFactsやCorollaryには証明が無く,系としても全く明らかではなく,辛い
いくつかの定理をわざわざページとしてリンクを作るようにした.
例えば
原始再帰的関数の可証再帰性
とか
思った
男女の軸で単純に考えるなら「
ロリコン
」の対概念は「
ショタコン
」だけれどもどちらも人名(ロリータ/正太郎)で人名由来で座りがいいなと思った
https://twitter.com/SnO2WMaN/status/1766606364304896343
サディズム
と
マゾヒズム
もそうだった
読んだ
証明可能性述語
$ \mathrm{Pr}_T
の具体的な構成をもう一度追い直したいと思い
新井敏康『数学基礎論』増補版
を読んだ