2025.01.23
https://www.youtube.com/watch?v=kfTqBRS3w7I
前：
2025.01.22
後：
2025.01.24
#日報
読んだ
数学基礎論序論(本)
Tennnenbaumの定理
を追った
算術の標準モデル
についての知識を得た
メモ
保存的な文に関する話を聞いておもしろいと思った
D. Guaspari, Robert M. Solovay, "Rosser sentences"
の様相論理に付いての前提知識を知ったがこれを様相論理でやる意味はなんかあるのか？と思ってしまった
思った
人生をかけて自己言及的なパラドックスを一つは設計したくなってきた
メモ
DBの
ER図
を自動で作る
https://liambx.com/
liambx
メモ
/yozba/2025.01.22#6790dd9e22e70a00001a3899
メモ
https://github.com/lapisla-prover/lapisla-prover
Theorem Prover
と言いながらなぜログイン機能とかがあるのかよくわからない なぜ…？