[2/3] 本月初开始,21 天时间,好不容易形式化证明了对于每一个 Lebesgue 可测集都存在一个测度略大但无限接近的 Borel 可测集,进而实际上存在测度相同的 Borel 可测集。这就打通了 Lebesgue 积分和 Gauge 积分等价性的主要障碍,我和导师、学生的概率论中央极限定理形式化项目马上就要全部完成了(那也得年底)。我的效率还是低,照这么写下去一年时间根本写不了多少代码。

Reply to this note

Please Login to reply.

Discussion

No replies yet.