不信的样子，他的燕大博导没教过他什么无限流算法，他听都没听过。
这时威腾结束了实验示范，他站了起来，对周雨安点点头说到：“我跟费加利教授讨论过偏微分方程的无限流算法，它只存在于一个极小的学术圈子中，并未公开报道。”
威腾转而望向沈奇：“奇，你应该知道这种算法，它是普林斯顿的原创。”
沈奇说到：“是的，我知道，也研究过。但问题是，偏微分方程的无限流算法跟n-s方程类似，它具备应用性，然而却从未被彻底证明其命题正确性，这也是它没有被公开报道的原因。也就是说，如果使用无限流算法去求解n-s方程，相当于用一个假设去验证另一个假设。我们现在不需要假设，我们需要的是‘欧几里得的公理’。”
欧几里得的学术贡献，在场几人倒背如流。
欧几里得用十条公理推导出23个定义、467个命题，从而构建了经典不朽的欧氏几何体系。
公理就是常识性的认知，不需要再加证明的基本命题。
建立在假设基础上的理论无法被学术界广泛认可，沈奇需要无懈可击的“公理”，凑不齐十条，哪怕能得到一条也好。
“所以，证明偏微分方程的无限流算法，是解决n-s方程的前提条件。你们同意我的观点吗？”沈奇询问众人。
威腾：“同意。”
周雨安、萧俊龙：“完全同意。”
“那你有具体思路吗？”周雨安问沈奇。
“我也来做个实验吧。”沈奇走到饮水机前，今天这场学术交流会，这台饮水机是毫无争议的主角。
“嚯！”沈奇清啸一声，直接将纯净水桶拔了出来，力拔山兮气盖世。
周雨安碉堡了，萧俊龙懵逼了，就连威腾也露出疑惑的表情。
沈奇按动出水开关，出水口涌出涓涓细流，涌了一会儿便断流。
“这一招叫釜底抽薪。”沈奇用汉语说到，完事对威腾说英语：“如果锅下面的火熄灭了，那么锅中的食物无论如何也煮不熟。证明偏微分方程的无限流算法的最有效方法，应该是直接增量法，或者减量法。这需要进一步研究，但我们至少有了方向性。”
威腾眼睛一亮：“好主意，就这么办！”
四个男人在会议室中讨论了一整天，做了几个实验，最终达成一致意见，求解n-s方程的通解，首先需证明偏微分方程的无限流算法的命题正确性。证明无限流算法应从直接增量法