你以为逻辑也就是数学其实数学家这样看待形式逻辑的真实地位

时间：2025-06-28 03:58:45  编辑：翡翠原石网  访问：297

陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议，陶哲轩：Perlman甚至在那些倾向于有些理想主义观点的数学家中也算是个异类。...但是当我和其他数学家谈论时，他们并不完全这样认为，我能看出他们使用的是...

陶哲轩三小时超长访谈：我们如何解决难题？AI将如何重塑数学？，很多这样的成果，其实都是由业余数学爱好者以众包的方式完成的。我早就关注...这其实就是数学家的工作方式，某种意义上，也类似于艺术家的创造。只要你设定...

你以为逻辑也就是数学？其实数学家这样看待形式逻辑的真实地位，林群、张景中、汤涛，三位中科院院士，数学家联袂推荐的著作！原标题：《你以为逻辑也就是数学？其实数学家这样看待形式逻辑的真实地位》