2026.06.03
https://i1.sndcdn.com/artworks-sYhUATjumLE7zYWJ-6KyceQ-t500x500.jpg
前：2026.06.02
後：2026.06.04
#日報
いいね
https://i1.sndcdn.com/artworks-sYhUATjumLE7zYWJ-6KyceQ-t500x500.jpg
https://soundcloud.com/weareskism/never-say-die-vol-7
ああああああああああああああああああああああああああああああああああああああああああああああああああああああああああ
；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；
思った
チャー研のロゴってちゃんと見たことなかったけど結構かっこいいな
https://gyazo.com/e744a755c94a6ab22f22be302f00760f
メモ
To our knowledge, Paulson's Isabelle formalisation is the only published machine-checked proof of Gödel’s *second* incompleteness theorem that we were able to locate.
https://arxiv.org/pdf/2606.01898v1
T. Coquand; "Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic"