田春冰河
2019-09-23 21:42:22 发布
[2/3] 原来大学时学的微积分理论有很大一部分已经过时了，黎曼积分已经被形式更优美的 Henstock–Kurzweil 积分（也称为 gauge integral）取代了，这也是目前几大定理证明器里自带的形式化微积分。当初几个发明人还联合发出公开信要求教科书作者抛弃黎曼积分，但好像没人鸟他们。我决定好好学一下。