一座新桥将无限的奇异数学与计算机科学相连

Source: Wired

Summary

描述集合论者研究无限的细分数学。现在，他们已经证明，他们的问题可以用具体的算法语言重新表述。