自动化网

自动推理
  • 吴文俊的数学境界
    吴文俊的数学境界
    英国数学家哈代在《一个数学家的辩白》中说:“数学是年轻人的游戏……我不知道是否有这样的例子,即一个超过50岁的人又开创了一项主要的数学理论。”

    2021-07-12 12:07:09