辺境の数学「無限集合」と「コンピューター科学」の新たな架け橋

記述集合論の研究者たちは、無限というニッチな数学問題がアルゴリズムという具体的な言語で書き換えられる事実を証明した。