興味： 情報関連：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
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) です。
