記述集合論の研究者たちは、無限のニッチな数学を探求し、複雑な問題をアルゴリズムの言語で書き直す方法を見つけました。この進展は、抽象的な数学と実践的なコンピュータサイエンスを結びつけます。この話はQuanta Magazineに由来します。