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% similarVerifiedThe Law of Leaky Abstractions was proposed by Joel Spolsky in 2002, with the core thesis that all non-trivial abstractions leak to some degree.56% similarVerifiedThe theoretical foundation of regular expressions comes from the theory of regular languages proposed by mathematician Stephen Kleene in the 1950s.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)