摘要:数学家阿隆佐·邱奇(Alonzo Church)阿隆佐·邱奇(Alonzo Church,1903年6月14日-1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的[阅读全文]