Unverified50% confidenceFactExact time
Tom Gruber 将本体论定义为「对共享概念化的显式形式化规范」
1
Sources
50%
Confidence
Long-term
Relevance
7/22/2026
First Seen
Sources
Related Claims
Unverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构60% similarUnverified具身智能的理论根基来自1980年代Rodney Brooks的'包容架构'以及Rolf Pfeifer等人的'物理基础认知'理论56% similarUnverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法56% similarVerified泄漏抽象（Leaky Abstraction）定律由Joel Spolsky于2002年提出，核心论断是所有非平凡的抽象都会在某种程度上发生泄漏56% similarVerified正则表达式的理论基础来自数学家Stephen Kleene在1950年代提出的正则语言理论55% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/585332API
curl https://kongchang.com/api/v1/knowledge/claims/585332MCP
get_claim(id=585332)