Unverified50% confidenceFactExact time
符号主义由麦卡锡、明斯基等人奠基，LISP语言与专家系统是其代表成果
1
Sources
50%
Confidence
Long-term
Relevance
7/15/2026
First Seen
Sources
Related Claims
Unverified1957年诺姆·乔姆斯基发表《句法结构》，用形式文法理论重新定义了语言的计算性描述56% similarUnverifiedJEPA思想根源可追溯至Karl Friston等人发展的预测编码理论，该理论认为大脑本质上是层级化预测机器56% similarUnverified有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论56% similarUnverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构55% 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/523972API
curl https://kongchang.com/api/v1/knowledge/claims/523972MCP
get_claim(id=523972)