Unverified50% confidenceFactExact time
函数式编程根植于20世纪30年代Alonzo Church的λ演算理论，强调不可变性与无副作用
1
Sources
50%
Confidence
Long-term
Relevance
7/8/2026
First Seen
Sources
零基础Python入门：10小时系统课的学习路径完整拆解
bilibili来两根淀粉肠7/7/2026
Related Claims
Unverified面向切面编程（AOP）由 Gregor Kiczales 等人于1997年在施乐帕克研究中心提出，核心是将横切关注点从主业务逻辑中分离58% similarVerified概率论作为严格数学分支的确立追溯到 Andrey Kolmogorov 于1933年发表的《概率论基础》，他用测度论语言给出了公理化定义56% similarUnverified1854年乔治·布尔出版《思维规律研究》，将逻辑关系用代数方程表达（与对应乘法、或对应加法、非对应补集），证明逻辑推理可化约为符号计算55% similarUnverified1931年哥德尔证明不完备定理：任何包含自然数算术的一致形式系统必然存在无法证明也无法反驳的命题，且系统无法在内部证明自身一致性55% similarUnverified经典矩阵补全理论最初依赖不相干性（incoherence）假设，后来研究者逐步放松这一条件产出了大量工作55% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/302159API
curl https://kongchang.com/api/v1/knowledge/claims/302159MCP
get_claim(id=302159)