Unverified50% confidenceFactExact time
Neutrosophic logic was proposed by mathematician Florentin Smarandanche in the 1990s, decomposing proposition evaluation into three independent components—truth (T), falsity (F), and indeterminacy (I)—whose sum is not forced to equal 1.
1
Sources
50%
Confidence
Long-term
Relevance
10/7/2026
First Seen
Sources
Related Entities
Related Claims
Unverified差分启发式的理论基础是三角不等式：对于三个点A、B、L，有|dist(A,L) - dist(B,L)| <= dist(A,B)68% similarUnverifiedIn 1854, George Boole published The Laws of Thought, expressing logical relationships using algebraic equations (AND corresponding to multiplication, OR to addition, NOT to complementation), proving that logical reasoning could be reduced to symbolic computation.67% similarUnverifiedThe Conway conjecture was proposed by mathematician John Horton Conway and is an open problem in the field of combinatorics or number theory.67% similarUnverified三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性64% similarUnverifiedTrue mathematical proof requires abstract thinking, logical reasoning, and creative insight.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/983213API
curl https://kongchang.com/api/v1/knowledge/claims/983213MCP
get_claim(id=983213)