2022.09.07
https://gyazo.com/f186cf3d6b2d2547c37ad481a7c43d7e
sno2wman/i-love-love-you-you-love-love-me
前:
2022.09.06
後:
2022.09.08
#日報
思った
「実力で勝つ」というよりむしろ「完全に運の勝負に引きずり込む」ことのほうが好きだな
読んだ
R.Smullyan『不完全性定理』改訂版
ついに
べき乗を含んだペアノ体系
のいて
不完全性定理
が示されてしまった
怒涛の
算術的E
であることの保証アツすぎる
観た
さよなら絶望先生(アニメ) 第3話
さよなら絶望先生(アニメ) 第4話
ルミナスウィッチーズ 第9話
苺ましまろ 第7話
やった
メモ
https://www.youtube.com/watch?v=pl1Ng79GU4s
やった
が,
数学基礎論サマースクール 2022
「初めてのモデル理論」の題で英語スライド使うのか
コンパクト性定理
う〜んちょっと…
2021年の非古典論理の方は楽しそうだなと思ったがこっちはあんまりだった