待验证50% 置信事实精确时间

组合性原则最早由弗雷格（Gottlob Frege）系统阐述：复杂表达式的意义由其组成部分的意义及组合方式共同决定

1

来源数

50%

置信度

长期有效

时效性

2026/9/18

首次发现

来源

目标的句法与语义：认知科学中的目标表征新视角

涉及实体

组合性concept Gottlob Fregeperson

相关事实

待验证Tom Gruber 将本体论定义为「对共享概念化的显式形式化规范」65% 相似待验证结构化编程定理由计算机科学家Böhm和Jacopini在1966年证明，即顺序、分支和循环三种基本控制流结构可以表达任意复杂的逻辑62% 相似待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构61% 相似待验证Gowers 范数（也称一致性范数）是加性组合学的核心工具，为 Szemerédi 正则性引理提供高阶推广框架61% 相似待验证符号主义由麦卡锡、明斯基等人奠基，LISP语言与专家系统是其代表成果59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/931279

API

curl https://kongchang.com/api/v1/knowledge/claims/931279

MCP

get_claim(id=931279)