Unverified50% confidenceFactExact time
Mathematica是由斯蒂芬·沃尔夫勒姆于1988年发布的符号计算软件，属于计算机代数系统（CAS）
1
Sources
50%
Confidence
Long-term
Relevance
7/19/2026
First Seen
Sources
Related Claims
Unverified程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统59% similarUnverifiedFrege published Begriffsschrift in 1879, introducing the concepts of quantifiers and predicate functions and advancing propositional logic to predicate logic.57% similarUnverifiedScheme 语言在1975年由 Guy L. Steele 和 Gerald Jay Sussman 在 MIT 发明55% similarVerifiedFunctional programming originates from Lambda calculus in mathematics, proposed by Alonzo Church in the 1930s.54% similarUnverified西尔维斯特（1814-1897）与阿瑟·凯莱共同创立了矩阵理论和不变量理论，并在约翰斯·霍普金斯大学创办了美国第一本纯数学期刊《美国数学杂志》54% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/563018API
curl https://kongchang.com/api/v1/knowledge/claims/563018MCP
get_claim(id=563018)