Unverified50% confidenceFactExact time
Frege published Begriffsschrift in 1879, introducing the concepts of quantifiers and predicate functions and advancing propositional logic to predicate logic.
1
Sources
50%
Confidence
Long-term
Relevance
8/7/2026
First Seen
Sources
从莱布尼茨到ChatGPT：350年机器理解人类语言探索史
Related Claims
Unverified图式理论最早由心理学家弗雷德里克·巴特利特于1932年提出，后经大卫·鲁梅尔哈特于20世纪70年代系统化发展63% similarUnverifiedThe Riemann Hypothesis was proposed by German mathematician Bernhard Riemann in 1859.62% similarUnverifiedDiscussions of existential presupposition can be traced back to philosophers Frege and Russell.61% similarUnverified程序化语义的哲学根基可追溯至George Miller与Philip Johnson-Laird在1976年提出的'心智程序'概念60% similarVerifiedFunctional programming originates from Lambda calculus in mathematics, proposed by Alonzo Church in the 1930s.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/702557API
curl https://kongchang.com/api/v1/knowledge/claims/702557MCP
get_claim(id=702557)