2024.03.14
https://gyazo.com/6d6050d953242decc5207f8328a9d18c
前:
2024.03.13
後:
2024.03.15
#日報
思った
D. van Dalen; "Logic and structure"
を参照に
直観主義命題論理のプライム性を用いたKripke完全性定理
の細部を詰めているがどう考えても証明が成り立たなくて鬱病になってる
問題は
プライム拡大補題
の
演繹的に閉じている
の部分
誰か本当に助けてほしい
思った
https://twitter.com/SnO2WMaN/status/1767909578740818153
親切でリプライした(
熱平衡化の問題は、一般的な形では解決不可能な問題であることを証明(外部記事)
)を投げた結果おれをメンションで巻き込んだままキレ気味の論争始められて終わった
議論を緻密にやりたいというあなたの動機はわかりましたが,
頼むから
おれの通知欄がどうなるのかといったことも少しは思い出してあげてください
私のお墓(*1)の前で泣かないで(*2)ください そこに私はいません
*1: ツイートのリプライ欄のことを指す
*2: 活発な議論をすることを指す
https://twitter.com/SnO2WMaN/status/1767984093948686673