Unverified50% confidenceFactExact time
In 1930, Schnirelmann proved that any large even number can be written as the sum of a finite number of primes.
1
Sources
50%
Confidence
Long-term
Relevance
9/26/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedIn 1931, Gödel proved the incompleteness theorems: any consistent formal system that includes arithmetic of natural numbers must contain propositions that can neither be proved nor disproved within the system, and the system cannot prove its own consistency internally.64% similarUnverifiedIn 1931, Gödel proved that formal mathematical systems can encode propositions about themselves and their own provability.63% similarVerified黎曼猜想由数学家黎曼在1859年提出，断言黎曼zeta函数所有非平凡零点的实部均为1/2，是千禧年问题之一62% similarUnverifiedFrostman引理（1935年）断言：如果紧集的s维Hausdorff测度为正，则该集合上存在非零正则Borel测度μ满足μ(B(x,r)) ≤ C·r^s61% similarUnverifiedIn 1951, von Neumann proved the von Neumann inequality: for any contraction operator T and any polynomial p, ‖p(T)‖ ≤ sup{|p(z)| : |z| ≤ 1}.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/951495API
curl https://kongchang.com/api/v1/knowledge/claims/951495MCP
get_claim(id=951495)