Home» News» News» 4月16日 邓徐冰、龚霖振报告

News

4月16日 邓徐冰、龚霖振报告

发布日期：2024-04-16 作者：

　　4月16日，邓徐冰作了题为《Incompleteness via paradox》的报告。

　　

 

　　随后，龚霖振作了题为《几何定理机器证明与Hilbert机械化定理》的报告。