2024.11.12
https://gyazo.com/d9121e27e476f4ded59e393cd7e13c54
前：2024.11.11
後：2024.11.13
#日報
メモ
27状態のTuringマシンが停止するならGoldbach予想は偽
https://github.com/lengyijun/goldbach_tm
謎の事実とその形式化
#if_n-state_Turing_Machine_halts...
メモ
今カレンダーを見たら「中間論理が非可算無限個あることの証明」が書かれる予定だったので楽しみ（事実は知っているがどう証明するのかはよく知らないので）
https://adventar.org/calendars/9945
#中間論理は非加算無限個存在する
やった
直観主義命題論理/様相論理のKripke意味論の形式化で型宇宙周りの煩雑な議論をする必要があったのを割り切って全体的にシンプルにしていた
メモ　
A. Chagrov, M. Zakharyaschev; "Modal Logic" Thm 3.42
思った
A. Chagrov, M. Zakharyaschev; "Modal Logic"のExcerciseの回答を形式化するのはおもしろいかもしれない．