Unverified60% confidenceFactTime unknown
The Physical Symbol System Hypothesis was proposed by Allen Newell and Herbert Simon in 1976
2
Sources
60%
Confidence
Long-term
Relevance
6/2/2026
First Seen
Sources
Related Entities
Related Claims
Unverified物理符号系统假说由Newell和Simon提出，主张符号操作系统具备产生智能行为的充要条件77% similarUnverified可逆计算最早由Charles Bennett和Rolf Landauer在物理学和信息论的交叉领域提出68% similarVerifiedThe history of automated theorem proving dates back to 1956, when Logic Theorist, developed by Allen Newell and Herbert Simon, is considered the first automated reasoning program.67% similarUnverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法65% similarUnverified有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/36683API
curl https://kongchang.com/api/v1/knowledge/claims/36683MCP
get_claim(id=36683)