TeX言語🤮でプログラミングすること自体はみんなが思うほど奇妙なことではないんですよね。実際、「TeX言語🤮で*実用的な*ソフトウェア（LaTeXのパッケージ）を実装している人」はそれなりにいます。 #TeX #TeX言語 ※CTANのcontributorの数は約3000人で、その大半がTeX言語🤮によるもの。

605

Linuxmetel · Oct 27, 2026 · 8:44 AM UTC

Linuxmetel@linuxmetel11h

名指しでおもろい ja.wikipedia.org/wiki/%E3%83…

822

32,936

Linuxmetel · Oct 27, 2026 · 7:27 AM UTC

Linuxmetel@linuxmetel13h

一番上は the も人名に入っている可能性がある（知らんけど）

PS2@recorderPS19h

the (人名)'s theorem←誤り the (人名) theorem←その人の代表的な定理 (人名)'s theorem←普通はこれ (人名) theorem←通常誤りだが、人名が性質名に転用されている場合結果的にこの形になることがある

185

Linuxmetel · Oct 27, 2026 · 2:35 AM UTC

Linuxmetel@linuxmetel18h

少なくとも数学の問題なんだからさあ...

コジキング（旧つみ丸）@re_tsumimaruOct 26

数学ヲタクぶってる人が、100%だと言ってるが、それは偉人が“都合のいいように”へんな定義を作ったからそうなってるだけだからな。有理数が存在する以上、有理数の確率はゼロじゃないよ。学問の入試で出たら100%と答えるけどね。

1,139

Linuxmetel · Oct 27, 2026 · 2:19 AM UTC

Linuxmetel@linuxmetel18h

コーヒーをお願いしますじゃないのかな、よく知らんけど

わらピもち@Mochimkchiking21h

I’ll have a coffee. たぶん半分くらいの人が誤訳します。あなたは正しく訳せますか?

1,189

Nyoho · Oct 25, 2026 · 10:44 PM UTC

Linuxmetel retweeted

Nyoho@NeXTSTEP2OSXOct 25

PHPが史上最高にみんなに知られているので、何か数学用語でPHPと略されるものないかなと数学辞典を調べたら、なんと鳩の巣原理 (pigeon hole principle) がPHPだった! しかも下付きnを付けて PHPₙ で {1,2,…,n+1} から {1,2,…,n} への単射が存在しないことを命題論理で書いたトートロジーを

164

9,581

パジョカ (Pajoca) · Oct 26, 2026 · 9:44 AM UTC

Linuxmetel retweeted

パジョカ (Pajoca)@Pajoca_Oct 26

先日、ZFC が無矛盾なら n≧215 でビジービーバー関数 BB(n) の値が ZFC で決定不能になると記録更新報告があってびっくり ZFC が矛盾している場合に限り停止するような 215状態2記号チューリングマシンが構成された (画像の遷移表の物)

今回 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と表記。

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と表記。

パジョカ (Pajoca)@Pajoca_May 6

この n の記録は現在更新されていて、n≧432 ならビジービーバー関数 BB(n) の値が ZFC で決定不能という結果が得られているようです…! (現状最小で n≧6 になる余地すらある) ZFCに "任意に大きな subtle cardinal (精妙基数) が存在する" という公理を加えてすら、n≧493 で決定不能なんて結果も…

公理の強弱関係と、その公理(基数存在下)で現状判明している 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)　です。

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)　です。

235

15,757