本网站由以下捐款支持：OEIS基金会.
阿隆佐·邱奇（1903-1995）是美国数学家和逻辑学家，对数学逻辑和基础理论计算机科学他最出名的是λ演算，Church–Turing论文证明了Entscheidungsproblem、Frege–Church本体论和Church–Rosser定理.
