待验证50% 置信事实精确时间
法国数学家Jean Leray于1934年证明了纳维-斯托克斯方程弱解的全局存在性,但弱解是否唯一、是否等同于经典光滑解至今未知
1
来源数
50%
置信度
长期有效
时效性
2026/9/10
首次发现
来源
涉及实体
相关事实
待验证勒贝格测度论由法国数学家亨利·勒贝格于1902年建立，推广了传统的黎曼积分72% 相似待验证纳维-斯托克斯方程由法国工程师克劳德-路易·纳维和英国数学家乔治·斯托克斯在19世纪分别独立推导得出64% 相似待验证高斯于1827年证明了'绝妙定理'（Theorema Egregium），表明球面的高斯曲率为正常数而平面曲率为零，因此任何将球面展开为平面的操作都必然引入度量畸变，这是数学意义上的不可能而非工程技术局限62% 相似待验证1933年匈牙利数学家保罗·埃尔德什重新发现了这个问题62% 相似待验证1931年哥德尔证明不完备定理：任何包含自然数算术的一致形式系统必然存在无法证明也无法反驳的命题，且系统无法在内部证明自身一致性60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/889963API
curl https://kongchang.com/api/v1/knowledge/claims/889963MCP
get_claim(id=889963)