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

弗雷格在1879年发表《概念文字》（Begriffsschrift），引入量词和谓词函数概念，将命题逻辑推进到谓词逻辑

1

来源数

50%

置信度

长期有效

时效性

2026/8/7

首次发现

来源

从莱布尼茨到ChatGPT：350年机器理解人类语言探索史

相关事实

待验证图式理论最早由心理学家弗雷德里克·巴特利特于1932年提出，后经大卫·鲁梅尔哈特于20世纪70年代系统化发展63% 相似待验证黎曼猜想由德国数学家伯恩哈德·黎曼于1859年提出62% 相似待验证存在性预设的讨论最早可追溯到哲学家Frege和Russell61% 相似待验证程序化语义的哲学根基可追溯至George Miller与Philip Johnson-Laird在1976年提出的'心智程序'概念60% 相似已验证函数式编程起源于数学中的Lambda演算，由Alonzo Church在20世纪30年代提出60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/702557

API

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

MCP

get_claim(id=702557)