興味： 情報関連：Lisp / Emacs / Arch 数学：代数幾何 / 可換代数 / 圏論 歴史：西欧中世史（特に仏） Discord：linuxmetel 鍵：@format_macro 重要な連絡は Discord の DM へ 質問箱（?）は bio のリンク
Rex Francorum Occidentalium
Joined July 2020
- Tweets35.2K
- Following1.6K
- Followers1.5K
- Likes50.5K
Linuxmetel retweeted
本を書きました！
刊行はまだ先ですが、情報だけ先に出します！
『様相論理入門―形式的証明とクリプキモデルで学ぶ論理体系―』
共立出版、2027年3月刊行予定
数理論理学の初学者から、様相論理を学びたい方、すでに知っている方まで学べるはずです。
演習問題の解答も完備。
ぜひご検討ください！
Linuxmetel retweeted
ヘブライ語「神の言葉を代弁する者」
↓
ギリシャ語「pro(〜の代わりに)+phēmi(言う)」→神の代わりに言う
↓
時代が経ってproが「前もって」を意味すると解釈されるようになる(eg.prophesy,預言(中国語))
↓
日本に中国語訳の「預言」が伝わり、元々無かった「預かる」という意味が追加
Linuxmetel retweeted
よく「聖書の『よげん』は『予言』じゃなく『預言』だ！神様から言葉を預かるから『預言』なんだ！」
という話を聞きますが、嘘です。
『よげん』という言葉にはπροφητεία (prophēteiā)が使われていてpro(前に)とphēmi(言う)からできてます。これは「前もって言うこと」つまり「予言」を意味します。
Linuxmetel retweeted
【米大統領「AI」名称禁止する方針】
news.yahoo.co.jp/pickup/6600…
Linuxmetel retweeted
Jxck の怒りが伝わってきてとても良い
eMudhra のインシデントは Web にとって何を意味するのか
blog.jxck.io/entries/2026-10…
Linuxmetel retweeted
先日、ZFC が無矛盾なら n≧215 でビジービーバー関数 BB(n) の値が ZFC で決定不能になると記録更新報告があってびっくり
ZFC が矛盾している場合に限り停止するような 215状態2記号チューリングマシンが構成された (画像の遷移表の物)
ALT 今回 Vladimir Reshetnikov により構成された、ZFC が矛盾している場合に限り停止するような215状態2記号チューリングマシンの状態遷移表 遷移表の出典：Vladimir Reshetnikov (2026) GitHub：https://github.com/VladimirReshetnikov/ProveIt/blob/main/Computability/BusyBeaver/Research/ZFC/candidate-k215/k215.tm ※元データを表形式に整形し、停止状態215をHと表記。
この n の記録は現在更新されていて、n≧432 ならビジービーバー関数 BB(n) の値が ZFC で決定不能という結果が得られているようです…! (現状最小で n≧6 になる余地すらある)
ZFCに "任意に大きな subtle cardinal (精妙基数) が存在する" という公理を加えてすら、n≧493 で決定不能なんて結果も…
ALT 公理の強弱関係と、その公理(基数存在下)で現状判明している BB(n) が決定不能になる n の下界 https://wiki.bbchallenge.org/wiki/Logical_independence <画像のライセンス表記> 上記画像は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) の下でユーザー Tlonuqbar により公表された BusyBeaverWiki の画像「Independencechart.png」(https://wiki.bbchallenge.org/wiki/File:Independencechart.png) です。
