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

17世纪莱布尼茨设想过一种通用符号语言（characteristica universalis）与推理演算（calculus ratiocinator），旨在将人类概念形式化并通过机械计算判定真伪

1

来源数

50%

置信度

长期有效

时效性

2026/8/7

首次发现

来源

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

相关事实

待验证哲学家迈克尔·波兰尼提出了'默会知识'概念59% 相似待验证弗雷格在1879年发表《概念文字》（Begriffsschrift），引入量词和谓词函数概念，将命题逻辑推进到谓词逻辑56% 相似待验证安德烈·布勒东在《超现实主义宣言》中倡导"纯粹心理自动主义"，即绕过理性控制、直接表达潜意识56% 相似待验证朗兰兹纲领由加拿大数学家罗伯特·朗兰兹于1967年提出，被誉为数学界的'大统一理论'56% 相似待验证具身智能概念最早可追溯至20世纪80年代认知科学家罗德尼·布鲁克斯的研究，他在MIT提出了'包容架构'（Subsumption Architecture）56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/702554

API

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

MCP

get_claim(id=702554)