已过期75% 置信事实精确时间
函数式编程起源于数学中的Lambda演算，由Alonzo Church在20世纪30年代提出
5
来源数
75%
置信度
中期 (~90 天)
时效性
2026/7/2
首次发现
有效期至：2026/9/30(已过期)
来源
零基础学Python：三阶段系统化学习路径与实战指南
bilibili来两根淀粉肠2026/6/27
相关事实
待验证Lambda演算由Alonzo Church于1930年代提出78% 相似待验证德国数学家戈特弗里德·莱布尼茨在1703年发表的论文中系统阐述了二进制算术，并从中国《易经》获得灵感62% 相似待验证弗雷格在1879年发表《概念文字》（Begriffsschrift），引入量词和谓词函数概念，将命题逻辑推进到谓词逻辑60% 相似待验证雅可比猜想由Ott-Heinrich Keller于1939年提出，是代数几何和多项式映射领域的著名未解问题，被列为Smale提出的21世纪18个重要数学问题之一60% 相似待验证蒙特卡洛方法起源于20世纪40年代曼哈顿计划期间，由数学家斯坦尼斯拉夫·乌拉姆和约翰·冯·诺伊曼在洛斯阿拉莫斯国家实验室开发58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/61308API
curl https://kongchang.com/api/v1/knowledge/claims/61308MCP
get_claim(id=61308)