Pinned Tweet
Mechanizing Gödel's incompleteness Theorems and Provability Logic
arxiv.org/abs/2609.13780
Palalansoukî(@_ni_nn_i_ )とずっとやっている、Lean 4での数理論理学：Gödelの第1/第2不完全性定理、Solovayの算術的完全性定理、証明可能性定理の分類定理などの形式化の報告を書きました！
ナードコアと音MADの区別がつかなくなりつつある僕に「この動画・音声は音MADか否か？」という判断能力があるかとか権限があるのはちょっと恐ろしいと思うけど、こういうデータベース的な作業をやっている自閉的な人間がパブリックには日本にそんなにいないのが問題なんだよね。(自動翻訳)
「音MADとは何か」というのは何か分析的な概念というよりも社会的構成物つまり（これって音MADっぽいなー…）という人々の認知によって決まるという自分の考えのもと、こういう感じで全然音MADとは言ってないけどまあそうだろみたいな動画群もotoDBで登録し始めている
otodb.net/tag/%E9%9F%B3mad%E…
otoDBって原口沙輔をどうやって扱ってるんだろうと思ったら音MAD作者として扱って無くて素材として扱ってた
otodb.net/tag/%E5%8E%9F%E5%8…
SnO₂WMaN retweeted
こちらの論文を大幅に改訂し、タイトルごと刷新しました。arXivに上げたその日に、Emil JeřábekさんにP≠NPの仮定を外す可能性について指摘していただきました。感謝です。
[2609.10872] Elementary modal logics and circuit complexity
arxiv.org/abs/2609.10872
それはそれとして、新しいプレプリントを公開しました。まさか人生で自分が(AIがではなく)P≠NPを仮定して何かを証明することになるとは思いませんでした。
[2609.10872] Non-elementary modal logics, assuming P $\neq$ NP arxiv.org/abs/2609.10872
