待验证50% 置信事实精确时间
Tom Gruber 将本体论定义为「对共享概念化的显式形式化规范」
1
来源数
50%
置信度
长期有效
时效性
2026/7/22
首次发现
来源
相关事实
待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构60% 相似待验证具身智能的理论根基来自1980年代Rodney Brooks的'包容架构'以及Rolf Pfeifer等人的'物理基础认知'理论56% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法56% 相似已验证泄漏抽象（Leaky Abstraction）定律由Joel Spolsky于2002年提出，核心论断是所有非平凡的抽象都会在某种程度上发生泄漏56% 相似已验证正则表达式的理论基础来自数学家Stephen Kleene在1950年代提出的正则语言理论55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/585332API
curl https://kongchang.com/api/v1/knowledge/claims/585332MCP
get_claim(id=585332)