逻辑与基础 / Logic and Foundations

丘奇λ演算

Church's Lambda Calculus

丘奇λ演算（Lambda calculus）是数学理论层中的真实知识点；参考资料将其年代记为1936 年。

Knowledge type: 数学理论
First proposed or discovered: 1936
Proposer: 历史记录与科学共同体
Creator: Polytech Tree dataset
Last updated: 2026-10-12 07:25:30

Sub-knowledge points

Gödel's Incompleteness Theorems / 数学理论

Higher-order knowledge points

Curry–Howard correspondence / 数学理论

Main parameters and performance indicators

重要度：2参考分类：逻辑与基础

Open problems

No unresolved problem recorded yet

Related literature

ranked by community stars

https://en.wikipedia.org/wiki/Lambda_calculusOpen source

https://github.com/secwind7/polytech-treeOpen source

Related products and links

No item recorded yet

Creation and modification trail

0 records

Seed recordPolytech Tree dataset2026-09-23 08:49:22

This static seed node has no database modification event yet.

Node update feedback

review required