Home» News» News» 12月19日 邓徐冰报告

12月19日 邓徐冰报告

发布日期:2023-12-19 作者:

12月19日邓徐冰做了题为《哥德尔不完全定理的不同证明路径》的报告。