2024.02.10
https://gyazo.com/9c34b90c0ecd6150fbf2176b766184f5
http://intelligence.org/files/lob-notes-IAFF.pdf
Patrick LaVictoire; "An Introduction to Löb’s Theorem in MIRI Research"
前:
2024.02.09
後:
2024.02.11
#日報
思った
Lean4の
WellFounded
使い方がわからなすぎる
NonInfiniteAscent
を導入したが…
GLの健全性
の
$ \implies
を
NonInfiniteAscent
で
$ \impliedby
を
WellFounded
メモ
GLの健全性
思った
N-tone & Dust_Box_49 - Leviathan
緑眼のジェラシーのアレンジ