在当今数学领域，关于什么理论应该构成数学基础的争论从未停止。在这场关于”类型理论（HoTT）”和”ZFC集合论”之间的辩论中，一些数学家认为类型理论可能更适合作为数学的基石。
类型理论是一种数学基础理论，可以被用来证明和定义数学概念。相对于ZFC集合论，类型理论更注重在构造中确定性、之间的形式化过程、和数学对象的结构。这种方法形成了一个更严谨、更自洽的数学体系，更贴近数学实践。
在一篇有关HoTT不同侧面的研究中，作者提出了一些看法并试图阐明其在现代数学中的应用。他们认为HoTT理论可以帮助解决集合论中的一些问题，同时给数学研究带来了新的视角。
虽然有一些质疑者仍然认为ZFC集合论能更好地解释现实世界中的数学，但是HoTT理论的支持者们认为，它能够更好地适应日益发展的数学实践，为数学研究带来新的灵感和思路。
综上所述，“类型理论（HoTT）应该取代（ZFC）集合论成为数学的基石吗？”这个问题目前还没有最终的答案。在这场精彩的辩论中，希望我们能够找到更好的数学基础理论，来推动数学领域的发展。
了解更多有趣的事情：https://blog.ds3783.com/