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

1: すらいむ ★ 2026/04/16(木) 23:21:49.73 ID:Ss9HQ6xC
辺境の数学「無限集合」と「コンピューター科学」の新たな架け橋 記述集合論の研究者たちは、無限というニッチな数学問題がアルゴリズムという具体的な言語で書き換えられる事実を証明した。 　現代数学はすべて...