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