2024.09.06
https://www.youtube.com/watch?v=xfSc3yT3MbU
思った
BBの切り抜きで青系の素材を使ってはならないというのはいまだによくわからない
#00Fだけ単色で切り抜けばいいのではないのか？（#00Fが現れる確率が上がるというのはそれはそうなのだが）
読んだ
すごい、こんなに上手くいくのかと思ってしまった
Regress Treeである利点はよくわからなかったが…（普通のProof Searchでも上手く回らないのか？）
帰納法を上手く削ってシンプルにという目的なのだろうか？
思った
でしょうねという結果が出てでしょうねとなった
思った
やった
$ \Delta_0定義可能な$ \bf I\Sigma_1の拡大理論は$ \bf GLに対して算術的健全であるという事実を置いておいた。