没有人举手。
这并不奇怪。
奇怪的是——
他露出了一个近乎释然的表情。
「因为我也做不到。」他说。
他切换到下一张投影片。
那不是补充证明。
而是一整页红sE标注。
「我尝试了七种等价定义注意架构、五种引理重构方式、三套不同公理基础。」
「全部失败。」
会场开始安静下来。
「但这个结论，仍然在所有数值模拟与实际应用中成立。」
他抬起头，看向众人。
内容未完，下一页继续阅读