2023.11.16
https://www.youtube.com/watch?v=CuwQ3EC__XE
前：
2023.11.15
後：
2023.11.17
#日報
読んだ
安達としまむら99.9
（泣）
安達としまむら
という物語のタイトルが実際には世界の摂理としての意を込められているの好きすぎる
メモ
Bezboruah, A. Shepherdson, J.C. "Gödel's second incompleteness theorem for Q"
現代で使われる記号とは異なり，長く，目が滑る
メモ
田中一之『数学基礎論序説』
全然知らなかったけど，こちらでも
Tait計算
を採用していた
おれが知らなかっただけで
戸次 大介; "数理論理学"
が異端で実は素朴に両側シーケント計算で議論する本ってあんまり無いのか？
メモ
vs-matsuoka/aska