2023.06.23
https://gyazo.com/846ff60fb094def8a94321a802eb40d5
前：
2023.06.22
後：
2023.06.24
#日報
思った
思い出した
寅年は終わったけど『とらドラ！』は永遠だから『とらドラ！』の話をするし『ゴールデンタイム』の話もする(外部記事)
メモ
Gödel-Rosserの第1不完全性定理
ついでにいくつかを修正
Gödelの第1不完全性定理
Rosser可証性述語と第2不完全性定理
読んでる
T. Kurahashi; "不完全性定理の数学的発展"
やっぱりすごすぎる