待验证60% 置信事实精确时间

语言接地问题（Symbol Grounding Problem）最早由哲学家Stevan Harnad于1990年系统提出

2

来源数

60%

置信度

长期有效

时效性

2026/7/7

首次发现

来源

「随机鹦鹉」再辨：Emily Bender论LLM的理解与意义之争

hackernewshackernews2026/7/6

相关事实

已验证符号接地问题由认知科学家Stevan Harnad在1990年正式提出78% 相似待验证「知识缺口」理论最早由卡内基梅隆大学行为经济学家George Loewenstein在1994年系统提出59% 相似待验证形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基58% 相似已验证技术奇点这一概念最早由数学家弗诺·文奇在1993年正式提出57% 相似待验证线性类型由 Philip Wadler 于1990年提出，为 Rust 的移动语义奠定基础57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/170922

API

curl https://kongchang.com/api/v1/knowledge/claims/170922

MCP

get_claim(id=170922)