Unverified50% confidenceFactExact time
火腿三明治定理最早由Hugo Steinhaus于1938年提出猜想，随后由Stefan Banach利用Borsuk-Ulam定理给出证明
1
Sources
50%
Confidence
Long-term
Relevance
8/23/2026
First Seen
Sources
Related Entities
Related Claims
Unverified蒂博尔·加莱于1944年给出了该定理的第一个正确证明58% similarUnverifiedCross-modal correspondence can be traced back to the bouba/kiki effect proposed by Wolfgang Köhler in 1929.58% similarUnverifiedThe Curry–Howard correspondence reveals the structural correspondence in which propositions correspond to types, proofs correspond to programs, and proof normalization corresponds to program execution, and was gradually discovered between 1934 and 196958% similarUnverifiedBorsuk-Ulam定理由波兰数学家Karol Borsuk于1933年提出57% similarUnverifiedJacques Hadamard proposed a four-stage model of mathematical discovery in his 1945 book: preparation, incubation, illumination, and verification.56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/791294API
curl https://kongchang.com/api/v1/knowledge/claims/791294MCP
get_claim(id=791294)