Unverified50% confidenceFactExact time
The principle of compositionality was first systematically articulated by Gottlob Frege: the meaning of a complex expression is determined by the meanings of its constituent parts and the way they are combined.
1
Sources
50%
Confidence
Long-term
Relevance
9/18/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedTom Gruber 将本体论定义为「对共享概念化的显式形式化规范」65% similarUnverified结构化编程定理由计算机科学家Böhm和Jacopini在1966年证明，即顺序、分支和循环三种基本控制流结构可以表达任意复杂的逻辑62% similarUnverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构61% similarUnverifiedThe Gowers norm (also known as the uniformity norm) is a core tool in additive combinatorics and provides a higher-order generalization framework for Szemerédi's regularity lemma.61% similarUnverified符号主义由麦卡锡、明斯基等人奠基，LISP语言与专家系统是其代表成果59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/931279API
curl https://kongchang.com/api/v1/knowledge/claims/931279MCP
get_claim(id=931279)