2025.01.31
https://gyazo.com/e13a8bf1b0e5d983eeadd84b9afda6df
メモ
1929 August: theft of Brouwer’s briefcase on the tram in Brussels, and with it of his mathematical notebook. When neither the police nor a private detective hired for the purpose is able to find it again, he despairs of ever being able to reconstruct its contents. Brouwer later said that this loss was instrumental in the shift of his main interest from mathematics to philosophy.
メモ
当然成り立つだろうと思っていたのだが，本当にそうか不安になってきた．やったはずなのだが…
様相論理で，$ F \vDash \varphi \implies F \vDash \varphi s
$ \varphi sは代入$ sを$ \varphiに施したものとする
健全性を考える時に必要なのだが
別にそこまで致命的な問題でも無いような気もする．
そうか？
すいません全然成り立ちました（照）
Leanの帰納法の範囲がなんかおかしくて良くなかった．切り出したら当たり前だった．
思った
2月は様相論理のシークエント計算とランダムネスと音MADのデータベースとDJのミックスに注力する