2024.09.04
https://gyazo.com/d895bff63cd8e54da80b757363693014
読んだ
読んだけど証明がザックリすぎてあんまり分からないな…と思ってしまった
first-level sequentで$ \bf GLをやってsecond-level sequentで$ \bf KTを入れるというのはおもしろいなと思った
思った
メモ
第2不完全性定理の形式化(すなわち$ T \nvdash \mathrm{Con}_Tと$ T \nvdash \lnot \mathrm{Con}_T)が終わったらしい。 めでたい
詳しいことは後で見ることにしよう
思った
デネセシテーションを持つ論理で$ \bf KTの拡張でない論理って$ \bf GL以外にもさすがにあると思うけど具体例を知らない メモ
5年間もScrapboxで日報書いてるのに面倒すぎて日報作成用のボタンを設置しておらず、逆にみんな何故あるんだと思う
思った