2023.10.24
https://gyazo.com/acc147eef4dcda5e8039a226bca84d83
Facebook Logic
J. Seligman, F. Liu, P. Girard; "LOGIC in the COMMUNITY"
前：
2023.10.23
後：
2023.10.25
#日報
思った
https://gyazo.com/14da90053472cc0a8569a20382fa0b9a
メチャクチャな
音MAD
を追加してるやつが可視化されてる
観た
星屑テレパス(アニメ); 第3話「爆薬メカニック」
（泣）
メモ
$ n
項演算で
$ n
が有限で無い場合もある．
例えば
最小の超限順序数
$ \omega
に対して
$ \omega
項演算など．
https://ja.wikipedia.org/wiki/算法#超限的な項数を持つ算法
これによって
ε-δ論法
で定義される
極限
を
$ \omega
項演算6つによって公理化することも出来る．
出来て嬉しいか？という面は置いておく.