待验证50% 置信事实精确时间
语言接地问题（Symbol Grounding Problem）最早由哲学家Stevan Harnad于1990年系统提出
1
来源数
50%
置信度
长期有效
时效性
2026/7/7
首次发现
来源
「随机鹦鹉」再辨：Emily Bender论LLM的理解与意义之争
hackernewshackernews2026/7/6
相关事实
待验证形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基58% 相似待验证线性类型由 Philip Wadler 于1990年提出，为 Rust 的移动语义奠定基础57% 相似待验证面向智能体编程（Agent-Oriented Programming, AOP）的概念由以色列计算机科学家Yoav Shoham在1993年首次提出56% 相似待验证技术奇点概念由数学家Vernor Vinge在1993年正式引入AI讨论，并经由Ray Kurzweil的著作广泛传播56% 相似待验证图式理论最早由心理学家弗雷德里克·巴特利特于1932年提出，后经大卫·鲁梅尔哈特于20世纪70年代系统化发展56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/170922API
curl https://kongchang.com/api/v1/knowledge/claims/170922MCP
get_claim(id=170922)