Unverified50% confidenceFactExact time
In the 17th century, Leibniz envisioned a universal symbolic language (characteristica universalis) and a calculus ratiocinator, aimed at formalizing human concepts and adjudicating truth and falsehood through mechanical computation.
1
Sources
50%
Confidence
Long-term
Relevance
8/7/2026
First Seen
Sources
从莱布尼茨到ChatGPT：350年机器理解人类语言探索史
Related Claims
Unverified哲学家迈克尔·波兰尼提出了'默会知识'概念59% similarUnverifiedFrege published Begriffsschrift in 1879, introducing the concepts of quantifiers and predicate functions and advancing propositional logic to predicate logic.56% similarUnverifiedAndré Breton advocated "pure psychic automatism" in the Surrealist Manifesto, meaning bypassing rational control to directly express the unconscious.56% similarUnverified朗兰兹纲领由加拿大数学家罗伯特·朗兰兹于1967年提出，被誉为数学界的'大统一理论'56% similarUnverified具身智能概念最早可追溯至20世纪80年代认知科学家罗德尼·布鲁克斯的研究，他在MIT提出了'包容架构'（Subsumption Architecture）56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/702554API
curl https://kongchang.com/api/v1/knowledge/claims/702554MCP
get_claim(id=702554)