已验证65% 置信事实精确时间

函数式编程起源于数学中的Lambda演算，由Alonzo Church在20世纪30年代提出

3

来源数

65%

置信度

中期 (~90 天)

时效性

2026/7/2

首次发现

有效期至：2026/9/30

来源

零基础学Python：三阶段系统化学习路径与实战指南

bilibili来两根淀粉肠2026/6/27

相关事实

待验证Lambda演算由Alonzo Church于1930年代提出78% 相似待验证弗雷格在1879年发表《概念文字》（Begriffsschrift），引入量词和谓词函数概念，将命题逻辑推进到谓词逻辑60% 相似待验证蒙特卡洛方法起源于20世纪40年代曼哈顿计划期间，由数学家斯坦尼斯拉夫·乌拉姆和约翰·冯·诺伊曼在洛斯阿拉莫斯国家实验室开发58% 相似待验证图式理论最早由心理学家弗雷德里克·巴特利特于1932年提出，后经大卫·鲁梅尔哈特于20世纪70年代系统化发展57% 相似待验证群论由埃瓦里斯特·伽罗瓦在 19 世纪初创立，最初用于研究多项式方程的可解性55% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/61308

API

curl https://kongchang.com/api/v1/knowledge/claims/61308

MCP

get_claim(id=61308)