待验证50% 置信事实精确时间
Mathematica是由斯蒂芬·沃尔夫勒姆于1988年发布的符号计算软件，属于计算机代数系统（CAS）
1
来源数
50%
置信度
长期有效
时效性
2026/7/19
首次发现
来源
相关事实
待验证程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统59% 相似待验证弗雷格在1879年发表《概念文字》（Begriffsschrift），引入量词和谓词函数概念，将命题逻辑推进到谓词逻辑57% 相似待验证Scheme 语言在1975年由 Guy L. Steele 和 Gerald Jay Sussman 在 MIT 发明55% 相似已验证函数式编程起源于数学中的Lambda演算，由Alonzo Church在20世纪30年代提出54% 相似待验证西尔维斯特（1814-1897）与阿瑟·凯莱共同创立了矩阵理论和不变量理论，并在约翰斯·霍普金斯大学创办了美国第一本纯数学期刊《美国数学杂志》54% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/563018API
curl https://kongchang.com/api/v1/knowledge/claims/563018MCP
get_claim(id=563018)