26/04/16 23:21:49.73 Ss9HQ6xC.net
辺境の数学「無限集合」と「コンピューター科学」の新たな架け橋
記述集合論の研究者たちは、無限というニッチな数学問題がアルゴリズムという具体的な言語で書き換えられる事実を証明した。
現代数学はすべて、抽象的な集まりをどのように整理するかを研究する「集合論」の上に成り立っている。
だが一般的に、数学者は何らかの問題を解く際に集合論を意識する必要はない。
集合が期待どおりに振る舞うという前提のもとで、自分の研究に取り組めばよい。
だが、記述集合論を研究する場合は例外だ。
記述集合論研究者は数こそ少ないが、集合の根本的な性質の探究をやめず、主にほかの数学者が無視してきた奇妙な無限集合を中心に研究を続けてきた。
（以下略、続きはソースでご確認ください）
Wired 2026.04.16
URLﾘﾝｸ(wired.jp)