2023.04.20
https://gyazo.com/7e95a2cb35b24b71cd539c14fa59108f
逃走中 グレートミッションのOPの途中のハンターのカット
前:
2023.04.19
後:
2023.04.21
#日報
メモ
Δ₀関係
Gödelのβ関数
という名称は本当にそうなのかは疑わしい.
思った
「私は人生で一度も酒を飲んだ記憶がない」
$ \implies
「私は酒を飲んだことがない」または「私は酒を飲むと記憶を失うタイプの酔い方をする」
メモ
Tarskiの真理不可能性定理の証明のメモ